Home Advanced Search

Advanced Search - Page 1

Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker

PDF
German
Year: 2017
Author: Hans Jürgen Ohlbach, Norbert Eisinger

Logic, Language and Reasoning: Essays in Honour of Dov Gabbay

DJVU
English
Year: 1999
Author: Hans Jürgen Ohlbach, Uwe Reyle (eds.)

Logic, Language and Reasoning: Essays in Honour of Dov Gabbay

PDF
English
Year: 1999
Author: Hans Jürgen Ohlbach, Uwe Reyle (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.)

Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings

PDF
English
Year: 2004
Author: François Bry, Włodzimierz Drabent (auth.), Hans Jürgen Ohlbach, Sebastian Schaffert (eds.)

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.)

Reasoning Web: First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures

PDF
English
Year: 2005
Author: Małuszyński, Jan; Eisinger, Norbert

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 and 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.)