9780387972336 - first-order logic and automated theorem proving di fitting, melvin (2 risultati)
Lingua: Inglese
Editore: Springer Verlag 1990
Serie: Texts in Computer Science, Libro 28 di 83. Libro 28 di 83 - Texts in Computer Science
- Rilegato
Da: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Discreto
EUR 36,17
EUR 3,29 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority.
Lingua: Inglese
Editore: Springer Verlag, New York 1990
Serie: Texts in Computer Science, Libro 28 di 83. Libro 28 di 83 - Texts in Computer Science
- Rilegato
- Prima edizione
Da: Works on Paper, DeKalb, IL, U.S.A.Works on Paper
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 104,78
EUR 5,71 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Very Good. No Jacket. First Edition. A very good copy of the first hard cover edition (full number line ending with 1), lacking a dust-jacket, no doubt as issued. Previous owner's modest ex-libris stamp to front endsheet, else the text is wholly unmarked, pristine, and the binding bright and fresh in appea…rance. A sharp copy.
