Advances in artificial intelligence
: proceedings / KI 2005, 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11 - 14, 2005. Ulrich Furbach (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3698 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31818-7
Lizenzpflichtig
Quelle: DNB
Automated reasoning
: third international joint conference ; proceedings / IJCAR 2006, Seattle, WA, USA, August 17 - 20, 2006. Ulrich Furbach ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4130 : Lecture notes in artificial intelligence)
ISBN 978-3-540-37188-5
Lizenzpflichtig
Quelle: DNB