Automated deduction in classical and non-classical logic
: selected papers / Ricardo Caferra ; Gernot Salzer (ed.). - Berlin : Springer, 2000. - VIII, 297 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1761 : Lecture notes in artificial intelligence)
ISBN 978-3-540-67190-9 / 3-540-67190-0 kart. : DM 82.00
Literaturangaben
Quelle: DNB
Automated deduction in classical and non-classical logic
: selected papers / Ricardo Caferra ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1761 : Lecture notes in artificial intelligence)
ISBN 978-3-540-46508-9
Lizenzpflichtig
Quelle: DNB