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.
Risultati della ricerca per Logic for Computer Science: Foundations of Automatic...
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: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Codice articolo G0060422254I3N10
Compra usato
EUR 6,65
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
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: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Codice articolo OTV.0060422254.G
Compra usato
EUR 10,04
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
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: Booksavers of Virginia, Harrisonburg, VA, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Very Good. In very good, unmarked condition. No DJ. Your purchase benefits the world-wide relief efforts of Mennonite Central Committee. Codice articolo mon0000372887
Compra usato
EUR 6,38
Spedizione EUR 4,45
Spedito in U.S.A.
Spedito in U.S.A.
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
Compra usato
EUR 27,54
Spedizione EUR 2,45
Spedito in U.S.A.
Spedito in U.S.A.
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
Compra usato
EUR 24,61
Spedizione EUR 29,86
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logic for Computer Science: Foundations of Automatic Theorem Proving
Editore:
Longman Higher Education, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Antico o usato
Rilegato
Da: book-link, Nufringen, BW, Germania
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Sehr gut. 528 Seiten; M25-07-O-16-VG Sprache: Deutsch Gewicht in Gramm: 3. Codice articolo 35279
Compra usato
EUR 32,80
Spedizione EUR 49,90
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
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
Compra usato
EUR 85,35
Spedizione EUR 4,00
Spedito in U.S.A.
Spedito in U.S.A.
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, North Branch, MN, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: New. Codice articolo Abebooks7375
Compra nuovo
EUR 119,33
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logic for Computer Science: Foundations of Automatic Theorem Proving Jean Gallier
Editore:
Longman Higher Education, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Antico o usato
Rilegato
Da: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: gut. 1986. Logic for Computer Science: Foundations of Automatic Theorem Proving In englischer Sprache. pages. Codice articolo BN645039
Compra usato
EUR 179,90
Spedizione EUR 39,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili