Home Advanced Search

Advanced Search - Page 1

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.)
Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 1: Logical Foundations
  • DJVU
  • English
  • Year: 1993
  • Author: Gabbay D.M., Hogger C.J., Robinson J.A. (eds.)
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
Mathematical problems from applied logic I / 2, Logics for the XXIst century
  • PDF
  • English
  • Year: 2007
  • Author: Gabbay D.M. et al. (eds.)
Quantification in Nonclassical Logic: Volume 1
  • PDF
  • Year: 2009
  • Author: D.M. Gabbay, V.B. Shehtman and D.P. Skvortsov (Eds.)