Shelfclass_id |
4.B.1 |
Sortkey |
GABBAY, DOV M |
Authors |
Dov M. Gabbay, Christopher John Hogger, J. A. Robinson |
Title |
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 4: Epistemic and Temporal Reasoning |
Publisher |
Oxford University Press |
Year |
1994 |
Languages |
eng |
Isbn |
019853745X, 0198537468, 0198537476, 0198537913 |
Description |
(v. 1) (v. 2) (v. 3) (v 5 v. ill. 25 cm |
Record date |
20060713 |
Location |
New York |
Keywords |
Logic programming, Artificial intelligence, Logic, Symbolic and mathematical |