Home Advanced Search

Advanced Search - Page 1

Quantification in nonclassical logic
  • GZ
  • English
  • Year: 2006
  • Author: Gabbay D., Shehtman V., Skvortsov D.
Quantification in Nonclassical Logic
  • DJVU
  • English
  • Year: 2009
  • Author: Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman
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
  • PDF
  • English
  • Year: 2005
  • Author: M. Fisher, D. Gabbay and L. Vila (Eds.)
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.)
Walsh Series and Transforms: Theory and Applications
  • PDF
  • English
  • Year: 1991
  • Author: B. Golubov, A. Efimov, V. Skvortsov (auth.)
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.)
search