Automated Theorem Proving: A Logical Basis - Rilegato

Loveland, Donald W.

9780720404999: Automated Theorem Proving: A Logical Basis

Rilegato

ISBN 10: 0720404991 ISBN 13: 9780720404999

Casa editrice: North-Holland, 1978

Vedi tutte le copie di questa edizione con ISBN

1 Usato

Da: EUR 28,70

0 Nuovo

Dettagli dell'edizione

Editore: North-Holland
Data di pubblicazione: 1978
Lingua: Inglese
ISBN 10: 0720404991
ISBN 13: 9780720404999
Rilegatura: Copertina rigida
Numero di pagine: 420
Contatto del produttore: non disponibile
Persona responsabile: non disponibile

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.

Loveland, Donald W.:

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

Contatta il venditore

Compra usato

EUR 28,70

Spedizione EUR 20,00
Spedito da Germania a U.S.A.

Quantit�: 1 disponibili

Aggiungi al carrello