First order logic and automated theorem proving | ISBN 9780387972336
Buch

First order logic and automated theorem proving

Melvin Fitting

ISBN-Daten

Verlag
Springer
ISBN-10
0-387-97233-1
978-0-387-97233-6
Quelle
DNB
Lieferstatus
Lieferant anfragen
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