search result

Cover von Automated reasoning with analytic tableaux and related methods
international conference, Rome, Italy, September 9 - 12, 2003 : proceedings
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 2796
Media group: MONOGRAPHIE
Cover von Cognitive Robotics
Search for this author
Year: 2010
Publisher: Wadern, LZI
Series: Dagstuhl Seminar Proceedings; 10081
Media group: DAGSTUHL-SEMINAR-PRO
OPEN V 11.1.0.0