Home Advanced Search

Advanced Search - Page 1

Mathematical problems from applied logic I / 2, Logics for the XXIst century
  • PDF
  • English
  • Year: 2007
  • Author: Gabbay D.M. et al. (eds.)
Recent Progress in Homotopy Theory
  • DJVU
  • English
  • Year: 2002
  • Author: Davis D.M., et al. (eds.)
Handbook of Tableau Methods
  • PDF
  • English
  • Year: 1998
  • Author: D'Agostino M., Gabbay D., et al. (eds.)
Many-dimensional modal logics: theory and applications
  • PDF
  • English
  • Year: 2003
  • Author: Dov M Gabbay; et al
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 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. Volume 5: Logic Programming
  • DJVU
  • English
  • Year: 1998
  • Author: Gabbay D.M., Hogger C.J., Robinson J.A. (eds.)
A new perspective on nonmonotonic logics
  • PDF
  • English
  • Year: 2016
  • Author: Gabbay D.M., Schlechta K.