Automated Deduction in Classical and Non-Classical Logics | Selected Papers | ISBN 9783540671909

Automated Deduction in Classical and Non-Classical Logics

Selected Papers

herausgegeben von Ricardo Caferra und Gernot Salzer
Mitwirkende
Herausgegeben vonRicardo Caferra
Herausgegeben vonGernot Salzer
Buchcover Automated Deduction in Classical and Non-Classical Logics | EAN 9783540671909 | ISBN 3-540-67190-0 | ISBN 978-3-540-67190-9

Automated Deduction in Classical and Non-Classical Logics

Selected Papers

herausgegeben von Ricardo Caferra und Gernot Salzer
Mitwirkende
Herausgegeben vonRicardo Caferra
Herausgegeben vonGernot Salzer
Includes supplementary material: sn. pub/extras

ISBN-Daten

Einband - flex.(Paperback)
 
Softcover
304 Seiten
erschienen am
09.02.2000
Sprache
Englisch
Rubrik
Robotik
ISBN-10
3-540-67190-0
Abmessungen
23,5 x 15,5 cm
Lieferstatus
verfügbar
Preis (UVP)
53,49 €*
Buch kaufen

Lokal-Verfügbarkeit

 
ca. 15 km um Moreno Valley
**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.
Lokalverfügbarkeit (Karte)

Ankaufspreise

Ankaufspreise ermitteln
Veranstaltung eintragen

Passend

Buchcover Automated Deduction in Classical and Non-Classical Logics

Automated Deduction in Classical and Non-Classical Logics