Computer science logic
: proceedings / 17th International Workshop CSL 2003 ; 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25 - 30, 2003. Matthias Baaz ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Annual conference of the EACSL ...; 12)
ISBN 978-3-540-45220-1
Lizenzpflichtig
Quelle: DNB
Logic for programming, artificial intelligence, and reasoning
: 9th international conference ; proceedings / LPAR 2002, Tbilisi, Georgia, October 14 - 18, 2002. M. Baaz ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2514 : Lecture notes in artificial intelligence)
ISBN 978-3-540-36078-0
Lizenzpflichtig
Quelle: DNB