search result

Cover von GWAI-92
advances in artificial intelligence : 16th German conference on artificial intelligence : Bonn, Germany, August 31 - September 3, 1992 : proceedings
Search for this author
Year: 1993
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 671
Media group: MONOGRAPHIE
Cover von A resolution calculus for modal logics
Author: Ohlbach, Hans Jürgen Search for this author
Year: 1988
Publisher: Kaiserslautern, Universität
Media group: DISSERTATION
Cover von Practical reasoning
international conference on formal and applied practical reasoning : Bonn, Germany, June 3 - 7, 1996 : proceedings
Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 1085
Media group: MONOGRAPHIE
Cover von Temporal logic
first international conference : Bonn, Germany, July 11 - 14, 1994 : proceedings
Search for this author
Year: 1994
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 827
Media group: MONOGRAPHIE
Cover von Automated practical reasoning and argumentation
23.08. - 27.08.93 (9334)
Search for this author
Year: 1993
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 70
Media group: DAGSTUHL-SEMINAR-REP
Cover von Principles and practice of semantic web reasoning
second international workshop, St. Malo, France, September 6 - 10, 2004, proceedings
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3208
Media group: MONOGRAPHIE
Cover von Logic, language and reasoning
essays in honour of Dov Gabbay
Search for this author
Year: 1999
Publisher: Boston, Kluwer
Series: Trends in logic; 5
Media group: MONOGRAPHIE
Cover von Qualitative and quantitative practical reasoning
first international joint conference on qualitative and quantitative practical reasoning : Bad Honnef, Germany, June 9 - 12, 1997 : proceedings
Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 1244
Media group: MONOGRAPHIE
Cover von Informatik 2008

Informatik 2008

beherrschbare Systeme dank Informatik : Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI) : 8. - 13. September in München
2008
Bonn, Gesellschaft für Informatik e.V.
Series: Lecture notes in informatics / P; 133/134
Media group: GESAMTWERK
Volumes loading
Cover von Handbook of the logic of argument and inference
the turn towards the practical
Search for this author
Year: 2002
Publisher: Amsterdam, North-Holland
Series: Studies in logic and practical reasoning; 1
Media group: MONOGRAPHIE
OPEN V 11.1.0.0