Advances in artificial intelligence
: proceedings / KI 2001, Joint German Austrian Conference on AI, Vienna, Austria, September 19 - 21, 2001. F. Baader ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2174 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45422-9
Lizenzpflichtig
Quelle: DNB
Automated deduction
: proceedings / CADE-19, 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 - August 2, 2003. Franz Baader (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2741 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45085-6
Lizenzpflichtig
Quelle: DNB