First order logic and automated theorem proving | ISBN 9780387972336

First order logic and automated theorem proving

Melvin Fitting
Buchcover First order logic and automated theorem proving | EAN 9780387972336 | ISBN 0-387-97233-1 | ISBN 978-0-387-97233-6

First order logic and automated theorem proving

Melvin Fitting

ISBN-Daten

Verlag
Springer
ISBN-10
0-387-97233-1
Quelle
DNB
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