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

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

Cover

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

Seite < 1 >
Projekte . Kooperationen