ISBN: 9780720404999 - automated theorem proving: a logical basis (3 risultati)
- Rilegato
Da: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, GermaniaAntiquariat Thomas Haker GmbH & Co. KG
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: GIAQ
Condizione: Usato - Molto buono
EUR 28,70
EUR 20,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Hardcover. Condizione: Gut. 405 p., Good condition according to age. Note of ownership. Paper slightly brownished at the edges. Sprache: Englisch Gewicht in Gramm: 940.
- Rilegato
Da: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermaniaBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 189,90
EUR 39,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Condizione: gut. 1978. Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Vol. 6. In englischer Sprache. pages.
Lingua: Inglese
Editore: sole distributor for the U.S.A. and Canada, Elsevi, 1978
- Rilegato
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Buono
EUR 223,71
EUR 30,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
hardcover. Condizione: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book.
