Articoli correlati a Automated Theorem Proving: A Logical Basis
Risultati della ricerca per Automated Theorem Proving: A Logical Basis
Foto dell'editore
Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Vol. 6.
Editore:
Amsterdam (NL), North-Holland., 1978
ISBN 10: 0720404991
ISBN 13: 9780720404999
Antico o usato
Rilegato
Da: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
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. Codice articolo 861127
Compra usato
EUR 28,70
Spedizione EUR 20,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Vol. 6. Loveland, Donald W.
Editore:
Amsterdam (NL), North-Holland., 1978
ISBN 10: 0720404991
ISBN 13: 9780720404999
Antico o usato
Rilegato
Da: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: gut. 1978. Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Vol. 6. In englischer Sprache. pages. Codice articolo BN701015
Compra usato
EUR 189,90
Spedizione EUR 39,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Editore:
sole distributor for the U.S.A. and Canada, Elsevi, 1978
ISBN 10: 0720404991
ISBN 13: 9780720404999
Antico o usato
Rilegato
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
hardcover. Condizione: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book. Codice articolo ERICA82907204049913
Compra usato
EUR 223,71
Spedizione EUR 30,00
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili