Home Advanced Search

Advanced Search - Page 1

Handbook of Tableau Methods
  • PDF
  • English
  • Year: 1998
  • Author: D'Agostino M., Gabbay D., et al. (eds.)
Mathematical problems from applied logic I / 2, Logics for the XXIst century
  • PDF
  • English
  • Year: 2007
  • Author: Gabbay D.M. et al. (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
  • 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.)
Classification, Clustering, and Data Mining Applications: Proceedings of the Meeting of the International Federation of Classification Societies ... Data Analysis, and Knowledge Organization)
  • DJVU
  • English
  • Year: 2004
  • Author: Banks D., et al. (eds.)
Variations, geometry and physics, In honour of Demeter Krupka's 65 birthday
  • PDF
  • English
  • Year: 2009
  • Author: Krupka D., et al. (eds.)
Multiple aspects of DNA and RNA from biophysics to bioinformatics
  • PDF
  • English
  • Year: 2005
  • Author: Chatenay 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.)
Complex Analysis and Dynamical Systems II
  • DJVU
  • English
  • Year: 2005
  • Author: Agranovsky M., et al. (eds.)
search