Home Advanced Search

Advanced Search - Page 1

Logic, Language and Reasoning: Essays in Honour of Dov Gabbay
  • DJVU
  • English
  • Year: 1999
  • Author: Hans Jürgen Ohlbach, Uwe Reyle (eds.)
From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory
  • DJVU
  • English
  • Year: 1993
  • Author: Hans Kamp, Uwe Reyle (auth.)
Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker
  • PDF
  • German
  • Year: 2017
  • Author: Hans Jürgen Ohlbach, Norbert Eisinger
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.)
Handbook of the Logic of Argument and Inference: The Turn Towards the Practical
  • DJVU
  • English
  • Year: 2002
  • Author: Dov M. Gabbay, Ralph H. Johnson, Hans Jürgen Ohlbach, John Woods (Eds.)
Handbook of the Logic of Argument and Inference: The Turn Towards the Practical
  • PDF
  • English
  • Year: 2002
  • Author: Dov M. Gabbay, Ralph H. Johnson, Hans Jürgen Ohlbach, John Woods (Eds.)
Handbook of the Logic of Argument and Inference: The Turn Towards the Practical
  • PDF
  • English
  • Year: 2002
  • Author: Dov M. Gabbay, Ralph H. Johnson, Hans Jürgen Ohlbach and John Woods (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.)
search