Home Advanced Search

Advanced Search - Page 1

Handbook of Logic in Artificial Intelligence and Logic Programming: Logic Programming
  • PDF
  • English
  • Year: 1998
  • Author: Dov M. Gabbay, C. J. Hogger, J. A. Robinson
Handbook of logic in artificial intelligence and logic programming
  • DJVU
  • English
  • Year: 1998
  • Author: Dov M. Gabbay, C. J. Hogger, J. A. Robinson
Handbook of Tableau Methods
  • PDF
  • English
  • Year: 1999
  • Author: M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga
Handbook of the logic of argument and inference: the turn towards the practical
  • DJVU
  • English
  • Year: 2002
  • Author: Gabbay, Dov M, Johnson R.H., Ohlbach H.J., Woods J. (eds.)
Philosophy of complex systems
  • PDF
  • English
  • Year: 2011
  • Author: Gabbay, Dov M.; Hooker, C. A (ed.)
Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 2: Deduction Methodologies
  • DJVU
  • English
  • Year: 1994
  • Author: Gabbay D.M., Hogger C.J., Robinson J.A. (eds.)
Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 5: Logic Programming
  • PDF
  • English
  • Year: 1998
  • Author: Gabbay D.M., Hogger C.J., Robinson J.A. (eds.)
Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 5: Logic Programming
  • DJVU
  • English
  • Year: 1998
  • Author: Gabbay D.M., Hogger C.J., Robinson J.A. (eds.)