Tenth International Conference on Automated Deduction - Proceedings Kaiserslautern, FRG, July 24-27, 1990
Stickel,Siekmann,
ISBN 10: 0387528857 ISBN 13: 9780387528854
Editore: Springer Verlag, 1990
Nuovi
Brossura
Da
Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 17 aprile 2013
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABBB-108406
Dati bibliografici
Titolo: Tenth International Conference on Automated ...
Casa editrice: Springer Verlag
Data di pubblicazione: 1990
Legatura: Brossura
Condizione: New
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings (Lecture Notes in Computer Science 449)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 688 pp., Paperback, ex library, some wear to cover, else textually clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Codice articolo ZB712236
Compra usato
EUR 36,23
Spedizione EUR 3,84
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings (Lecture Notes in Computer Science)
Editore:
Springer-Verlag, 1990
ISBN 10: 0387528857
ISBN 13: 9780387528854
Antico o usato
Taschenbuch
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Gut. 688 Seiten Sofort verfügbar Versand sofort nach durchgeführter Zahlungsverifikation Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550. Codice articolo 181765
Compra usato
EUR 37,20
Spedizione EUR 24,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
10th International Conference on Automated Deduction
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 688. Codice articolo 26531200
Compra usato
EUR 94,61
Spedizione EUR 3,41
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
10th International Conference on Automated Deduction
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 688. Codice articolo 18531210
Compra usato
EUR 96,17
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
10th International Conference on Automated Deduction
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 688. Codice articolo 8365279
Compra usato
EUR 101,28
Spedizione EUR 7,50
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings (Lecture Notes in Computer Science 449)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Codice articolo ERICA75803875288575
Compra usato
EUR 133,19
Spedizione EUR 28,86
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili