Sinossi
Book by Gallier Jean
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Altre 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 (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
Compra usato
EUR 21,99
Spese di spedizione:
EUR 3,23
In U.S.A.
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
Compra usato
EUR 25,31
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 2 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: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Fair. No Jacket. Missing dust jacket; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Codice articolo G0060422254I5N01
Compra usato
EUR 25,53
Spese di spedizione:
GRATIS
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 26,59
Spese di spedizione:
EUR 2,80
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 23,33
Spese di spedizione:
EUR 28,31
Da: Regno Unito 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 4 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 82,40
Spese di spedizione:
EUR 3,86
In 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 50,39
Spese di spedizione:
EUR 60,00
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)
Da: The Book Spot, Sioux Falls, MN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New. Codice articolo Abebooks7375
Compra nuovo
EUR 115,21
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili