Home Advanced Search

Advanced Search - Page 1

Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics [paper]
  • PDF
  • English
  • Year: 1996
  • Author: Gabbay, D. M
What is a Logical System?
  • DJVU
  • English
  • Year: 1994
  • Author: D. M. Gabbay (Editor)
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications
  • PDF
  • English
  • Year: 2008
  • Author: D. M. Gabbay, R. Schmidt, A. Szalas
Elementary Logic with Applications: A Procedural Perspective for Computer Scientists
  • DJVU
  • English
  • Year: 2016
  • Author: D M Gabbay, O T Rodrigues
Handbook of Temporal Reasoning in Artificial Intelligence
  • DJVU
  • English
  • Year: 2005
  • Author: M. Fisher, D. Gabbay and L. Vila (Eds.)
Handbook of Temporal Reasoning in Artificial Intelligence
  • PDF
  • English
  • Year: 2005
  • Author: M. Fisher, D. Gabbay and L. Vila (Eds.)
Handbook of Tableau Methods
  • PDF
  • English
  • Year: 1998
  • Author: D'Agostino M., Gabbay D., et al. (eds.)
Handbook of temporal reasoning in artificial intelligence
  • PDF
  • English
  • Year: 2005
  • Author: M. Fisher, D. Gabbay and L. Vila (Eds.)
GWAI-92: Advances in Artificial Intelligence: 16th German Conference on Artificial Intelligence Bonn, Germany, August 31 – September 3, 1992 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: D. M. Gabbay (auth.), Hans Jürgen Ohlbach (eds.)
Handbook of Philosophical Logic
  • PDF
  • English
  • Year: 2004
  • Author: Craig Smoryński (auth.), D. M. Gabbay, F. Guenthner (eds.)
search