search result

Cover von Artificial intelligence techniques
a comprehensive catalogue
Search for this author
Year: 1997
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Automated deduction
12th international conference on automated deduction : Nancy, France, June 26 - July 1, 1994 : proceedings
Search for this author
Year: 1994
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 814
Media group: MONOGRAPHIE
Cover von Proceedings of the eighth International Joint Conference on Artificial Intelligence

Proceedings of the eighth International Joint Conference on Artificial Intelligence

8 - 12 August 1983, Karlsruhe, West Germany
1983
Los Altos, William Kaufmann
Media group: GESAMTWERK
Volumes loading
Cover von Rob Milne
a tribute to a pioneering AI scientist, entrepreneur and mountaineer
Search for this author
Year: 2006
Publisher: Amsterdam, IOS Press
Series: Frontiers in artificial intelligence and applications; 139
Media group: MONOGRAPHIE
Cover von Eco-logic
logical-based approaches to ecological modelling
Search for this author
Year: 1991
Publisher: Cambridge, MIT Pr.
Series: Logic programming
Media group: MONOGRAPHIE
Cover von Rippling
meta-level guidance for mathematical reasoning
Search for this author
Year: 2005
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 56
Media group: MONOGRAPHIE
Cover von Automation of proof by mathematical induction
24.07. - 28.07.95 (9530)
Search for this author
Year: 1995
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 122
Media group: DAGSTUHL-SEMINAR-REP
Cover von AI meets Formal Software Development; 7
pp. 1-29
Search for this author
Year: 2012
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 7
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0