> Mehrbändiges Werk
-
5:
Handbook of logic in artificial intelligence and logic programming 5 Logic programming ed. by Dov M. Gabbay
Oxford: Clarendon Press, 1998
-
1:
Handbook of logic in artificial intelligence and logic programming 1 Logical foundations ed. by Dov M. Gabbay
Oxford: Clarendon Press, 1996
-
4:
Handbook of logic in artificial intelligence and logic programming 4 Epistemic and temporal reasoning ed. by Dov M. Gabbay
Oxford: Clarendon Press, 1995
-
2:
Handbook of logic in artificial intelligence and logic programming 2 Deduction methodologies ed. by Dov M. Gabbay
Oxford: Clarendon Press, 1994
-
1:
Handbook of logic in artificial intelligence and logic programming 1 Logical foundations ed. by Dov M. Gabbay
Oxford: Clarendon Press, 1993