Home Advanced Search

Advanced Search - Page 1

Deductive and Object-Oriented Databases: 5th International Conference, DOOD'97 Montreux, Switzerland, December 8–12, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Hans Jürgen Ohlbach (auth.), François Bry, Raghu Ramakrishnan, Kotagiri Ramamohanarao (eds.)
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay
  • DJVU
  • English
  • Year: 1999
  • Author: Hans Jürgen Ohlbach, Uwe Reyle (eds.)
AI 2003: Advances in Artificial Intelligence: 16th Australian Conference on AI, Perth, Australia, December 3-5, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Kotagiri Ramamohanarao, James Bailey (auth.), Tamás (Tom) Domonkos Gedeon, Lance Chun Che Fung (eds.)
Research and Development in Knowledge Discovery and Data Mining: Second Pacific-Asia Conference, PAKDD-98 Melbourne, Australia, April 15–17, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: D. W. Albrecht, A. E. Nicholson, I. Zukerman (auth.), Xindong Wu, Ramamohanarao Kotagiri, Kevin B. Korb (eds.)
Practical Reasoning: International Conference on Formal and Applied Practical Reasoning, FAPR'96 Bonn, Germany, June 3–7, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Carine Van den Acker, Jan Vanthienen (auth.), Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9–12, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Alain Appriou (auth.), Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach (eds.)
Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen (auth.), Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
Database Management Systems Ramakrishnan
  • PDF
  • English
  • Year: 2018
  • Author: Raghu Ramakrishnan
Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker
  • PDF
  • German
  • Year: 2017
  • Author: Hans Jürgen Ohlbach, Norbert Eisinger
Principles and Practice of Semantic Web Reasoning: International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Uwe Aßmann (auth.), François Bry, Nicola Henze, Jan Małuszyński (eds.)
search