Handbook of logic in artificial intelligence and logic programming /
Άλλοι συγγραφείς: | Gabbay, Dov M., 1945- (επιμελητής.), Hogger, Christopher John (επιμελητής.), Robinson, J. A. (John Alan) (επιμελητής.) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Oxford :
Clarendon Press,
1998.
|
Θέματα: |
Παρόμοια τεκμήρια
-
Epistemic logic for AI and computer science
ανά: Meyer, John-Jules Ch
Έκδοση: (1995) -
Logic programming and nonmonotonic reasoning proceedings
Έκδοση: (1995) -
The temporal logic of reactive and concurrent systems specification
ανά: Manna, Zohar, κ.ά.
Έκδοση: (1992) -
Nonmonotonic logics basic concepts, results, and techniques
ανά: Schlechta, Karl
Έκδοση: (1997) -
Logic for applications
ανά: Nerode, Anil 1932-
Έκδοση: (1997)