Articoli correlati a Logic for Computer Science: Foundations of Automatic...
Sinossi
Book by Gallier Jean
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
- EditoreLongman Higher Education
- Data di pubblicazione1986
- ISBN 10 0060422254
- ISBN 13 9780060422257
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine528
Compra nuovo
Visualizza questo articolo
EUR 118,54
GRATIS per la spedizione in U.S.A.
Destinazione, tempi e costiAltre edizioni note dello stesso titolo
Risultati della ricerca per Logic for Computer Science: Foundations of Automatic...
Foto dell'editore
Logic for Computer Science: Foundations of Automatic Theorem Proving
Editore:
HarperCollins Publishers, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Antico o usato
Rilegato
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.6. Codice articolo G0060422254I3N00
Quantità: 1 disponibili
Foto dell'editore
Logic for Computer Science: Foundations of Automatic Theorem Proving
Editore:
HarperCollins Publishers, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Antico o usato
Rilegato
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.6. Codice articolo G0060422254I4N00
Quantità: 1 disponibili
Foto dell'editore
Logic for Computer Science : Foundations of Automatic Theorem-Proving
Editore:
Addison-Wesley Educational Publishers, Incorporated, 1985
ISBN 10: 0060422254
ISBN 13: 9780060422257
Antico o usato
Rilegato
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Codice articolo GRP95935838
Quantità: 1 disponibili
Foto dell'editore
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_389988481
Quantità: 1 disponibili
Foto dell'editore
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Editore:
HarperCollins Publishers, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Antico o usato
Rilegato
Prima edizione
Da: Jay W. Nelson, Bookseller, IOBA, Austin, MN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. No Jacket. 1st Edition. In blue cloth. Bottom corners bumped. No jacket. Codice articolo 105306
Quantità: 1 disponibili
Foto dell'editore
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
Da: Fireside Bookshop, Stroud, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Cloth. Condizione: Good. No Jacket. Type: Book N.B. Small plain label to inside front cover. No dust jacket. Light rubbing to head and tail of spine and corners of boards. Codice articolo 058562
Quantità: 1 disponibili
Foto dell'editore
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
Editore:
Longman Higher Education, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Antico o usato
Rilegato
Da: The Media Foundation, BEAVERTON, OR, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Fine. Former library asset (with library stamp on inside cover). Cover shows shelf wear. (price reflects) Pages are crisp and clean, binding tight. 100% Satisfaction Guaranteed. Orders received before 3PM PT typically ship same day. All profits support the non-profit community. Codice articolo mon0000026225
Quantità: 1 disponibili
Foto dell'editore
Logic for computer science: Foundations of automatic theorem proving (Harper & Row computer science and technology series)
Da: The Book Spot, Sioux Falls, MN, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: New. Codice articolo Abebooks7375
Quantità: 1 disponibili