Leseprobe öffnen Nicht lieferbar Donald W. LovelandBuchAutomated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Vol. 6. Versandkostenfrei!Nicht lieferbarNicht lieferbar Marktplatzangebote Ein Angebot für € 35,20 € BewertungProduktdetails ProduktdetailsVerlag: Amsterdam (NL), North-Holland.ISBN-13: 9780720404999Artikelnr.: 26670016HerstellerkennzeichnungDie Herstellerinformationen sind derzeit nicht verfügbar. Für dieses Produkt wurde noch keine Bewertung abgegeben. Wir würden uns sehr freuen, wenn du die erste Bewertung schreibst! Eine Bewertung schreiben
