×
![]( "Buchcover ISBN 9783540465089")
Automated Deduction in Classical and Non-Classical Logics
Selected Papers
herausgegeben von Ricardo Caferra und Gernot SalzerIncludes supplementary material: sn. pub/extras
Automated Deduction in Classical and Non-Classical Logics | Selected Papers | ISBN 9783540465089
Automated Deduction in Classical and Non-Classical Logics
Selected Papers
herausgegeben von Ricardo Caferra und Gernot SalzerISBN-Daten
Digitalprodukt / E-Book
eBook, PDF
304 SeitenVerlag
Springer Berlinerschienen am
31.07.2003Sprache
EnglischRubrik
RobotikISBN-10
3-540-46508-1Reihe
Lecture Notes in Computer Science 1761Lieferstatus
verfügbarPreis
53,49 €*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)