search result

Cover von Künstliche Intelligenz aus ungewohnten Perspektiven
ein Rundgang mit Bergson, Proust und Nabokov
Author: Barthelmeß, Ulrike; Furbach, Ulrich Search for this author
Year: 2019
Publisher: Wiesbaden, SpringerVieweg
Series: Die blaue Stunde der Informatik
Media group: MONOGRAPHIE
Cover von A Different Look at Artificial Intelligence
On Tour with Bergson, Proust and Nabokov
Author: Barthelmeß, Ulrike; Furbach, Ulrich Search for this author
Year: 2023
Publisher: Wiesbaden, SpringerVieweg
Media group: MONOGRAPHIE
Cover von Logische und funktionale Programmierung
Grundlagen einer Kombination
Author: Furbach, Ulrich Search for this author
Year: 1991
Publisher: Braunschweig, Vieweg
Series: Artificial intelligence = Künstliche Intelligenz
Media group: MONOGRAPHIE
Cover von IRobot - uMan
Künstliche Intelligenz und Kultur : eine jahrtausendealte Beziehungskiste
Author: Barthelmeß, Ulrike; Furbach, Ulrich Search for this author
Year: 2012
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Künstliche Intelligenz; 5
Themenheft : S. 431-550
Search for this author
Year: 2011
Publisher: Berlin, Springer
Informatik Spektrum
Count: 5
Media group: SPECIAL ISSUE
Cover von KI 2005
28th annual German conference on AI, Koblenz, Germany, September 11 -14, 2005, proceedings
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 3698
Media group: MONOGRAPHIE
Cover von Massively parallel inference systems
abstracts of the workshop on "Massively parallel inference systems", December 17 - 18, 1990 : Dagstuhl Castle, International Conference and Research Center for Computer Science, D-6648 Wadern-Dagstuhl, Germany
Search for this author
Year: 1991
Publisher: München, TU
Series: TUM; 9103
Media group: TECHNICAL REPORT
Cover von Logic programming and nonmonotonic reasoning
4th international conference : Dagstuhl Castle, Germany, July 28 - 31, 1997 : proceedings
Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 1265
Media group: MONOGRAPHIE
Cover von Automated reasoning
third international joint conference, Seattle, WA, USA, August 17 - 20, 2006 : proceedings
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 4130
Media group: MONOGRAPHIE
Cover von Advances in first-order theorem proving; 2
special issue : S. 117 - 392
Search for this author
Year: 2000
Publisher: San Diego, Academic Press
Count: 2
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0