hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Person Baader, Franz
2 Treffer
Seite < 1 >
Cover

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

Cover

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

Seite < 1 >
Projekte . Kooperationen