search result

Cover von Intellectics and computational logic
papers in honor of Wolfgang Bibel
Author: Hölldobler, Steffen Search for this author
Year: 2000
Publisher: Boston, Kluwer
Series: Applied logic series; 19
Media group: MONOGRAPHIE
Cover von Ausgezeichnete Informatikdissertationen 1996
Search for this author
Year: 1998
Publisher: Stuttgart, Teubner
Media group: MONOGRAPHIE
Cover von Deduction
24.02. - 28.02.97 (9709)
Search for this author
Year: 1997
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 170
Media group: DAGSTUHL-SEMINAR-REP
Cover von Studien- und Forschungsführer Künstliche Intelligenz
Search for this author
Year: 1987
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Wissensrepräsentation und Inferenz
eine grundlegende Einführung
Author: Bibel, Wolfgang; Hölldobler, Steffen; Schaub, Torsten H. Search for this author
Year: 1993
Publisher: Braunschweig, Vieweg
Series: Artificial Intelligence
Media group: MONOGRAPHIE
Cover von Künstliche Intelligenz
Frühjahrsschule : Teisendorf, 15. - 24. März 1982
Search for this author
Year: 1982
Publisher: Berlin, Springer
Series: Informatik-Fachberichte; 59
Media group: MONOGRAPHIE
Cover von Mathematical methods of specification and synthesis of software systems '85
proceedings of the international spring school : Wendisch-Rietz, GDR, April 22 - 26, 1985
Search for this author
Year: 1986
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 215
Media group: MONOGRAPHIE
Cover von 5th conference on automated deduction
Les Arcs, France, July 8 - 11, 1980
Search for this author
Year: 1980
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 87
Media group: MONOGRAPHIE
Cover von Schemas; 1
special issue : S. 1-127
Search for this author
Year: 2000
Publisher: San Diego, Academic Press
Count: 1
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0