Handbook of logic in artificial intelligence and logic programming /
| Other Authors: | Gabbay, Dov M., 1945- (επιμελητής.), Hogger, Christopher John (επιμελητής.), Robinson, J. A. (John Alan) (επιμελητής.) |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Oxford :
Clarendon Press,
1998.
|
| Subjects: |
Similar Items
-
Epistemic logic for AI and computer science
by: Meyer, John-Jules Ch
Published: (1995) -
Logic programming and nonmonotonic reasoning proceedings
Published: (1995) -
The temporal logic of reactive and concurrent systems specification
by: Manna, Zohar, et al.
Published: (1992) -
Nonmonotonic logics basic concepts, results, and techniques
by: Schlechta, Karl
Published: (1997) -
Logic for applications
by: Nerode, Anil 1932-
Published: (1997)