Home Advanced Search

Advanced Search - Page 1

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 temporal reasoning in artificial intelligence
  • PDF
  • English
  • Year: 2005
  • Author: M. Fisher, D. Gabbay and L. Vila (Eds.)
Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics [paper]
  • PDF
  • English
  • Year: 1996
  • Author: Gabbay, D. M
Handbook of Tableau Methods
  • PDF
  • English
  • Year: 1998
  • Author: D'Agostino M., Gabbay D., et al. (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 Sexuality-Related Measures
  • PDF
  • English
  • Year: 2010
  • Author: Terri D. Fisher, Clive M. Davis, William L. Yarber, Sandra L. Davis (eds.)
What is a Logical System?
  • DJVU
  • English
  • Year: 1994
  • Author: D. M. Gabbay (Editor)
Handbook of Philosophical Logic
  • PDF
  • English
  • Year: 2004
  • Author: Craig Smoryński (auth.), D. M. Gabbay, F. Guenthner (eds.)
Handbook of Philosophical Logic
  • PDF
  • English
  • Year: 2001
  • Author: Göran Sundholm (auth.), D. M. Gabbay, F. Guenthner (eds.)
search