Lecture Notes in Computer Science: Automated Deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, June 15-18, 1992 Proceedings Vol. 607
5 Angebote vergleichen
Bester Preis: Fr. 0.88 (€ 0.91)¹ (vom 11.11.2016)1
Symbolbild
Automated Deduction, Cade-11: 11th International Conference on Automated Deduction Saratoga Springs, Ny, Usa, June 15-18, 1992 Proceedings (Lecture Notes in Computer Science 607) (1992)
EN USISBN: 9780387556024 bzw. 0387556028, in Englisch, Springer-Verlag, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkostenfrei nach: USA.
Von Händler/Antiquariat, Better World Books.
Springer-Verlag. Used - Acceptable. Former Library book. Shows definite wear, and perhaps considerable marking on inside. 100% Money Back Guarantee. Shipped to over one million happy customers. Your purchase benefits world literacy!
Von Händler/Antiquariat, Better World Books.
Springer-Verlag. Used - Acceptable. Former Library book. Shows definite wear, and perhaps considerable marking on inside. 100% Money Back Guarantee. Shipped to over one million happy customers. Your purchase benefits world literacy!
2
Automated Deduction, Cade-11: 11th International Conference on Automated Deduction Saratoga Springs, Ny, Usa, June 15-18, 1992 Proceedings (Lecture Notes in Computer Science 607) (1992)
EN PB USISBN: 9780387556024 bzw. 0387556028, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Booked Again [55383221], Summit, NJ, U.S.A.
Good condition, some are ex-library and can have markings.
Good condition, some are ex-library and can have markings.
3
Automated Deduction, Cade-11: 11th International Conference on Automated Deduction Saratoga Springs, Ny, Usa, June 15-18, 1992 Proceedings (Lecture Notes in Computer Science 607) (1992)
EN PB USISBN: 9780387556024 bzw. 0387556028, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, Better World Books: Main.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Better World Books: Main.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
Automated Deduction, Cade-11: 11th International Conference on Automated Deduction Saratoga Springs, Ny, Usa, June 15-18, 1992 Proceedings (Lecture Notes in Computer Science 607) (1992)
EN PB USISBN: 9780387556024 bzw. 0387556028, in Englisch, Springer, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Zubal-Books [581], Cleveland, OH, U.S.A.
793 pp., paperback, ex library, else textually clean and tight.
793 pp., paperback, ex library, else textually clean and tight.
5
Lecture Notes in Computer Science: Automated Deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, June 15-18, 1992 Proceedings Vol. 607 (1992)
EN USISBN: 9780387556024 bzw. 0387556028, in Englisch, Springer, Deutschland, gebraucht.
Von Händler/Antiquariat, Castle Rock [54302400], Pittsford, NY, U.S.A.
Book Condition: Acceptable.
Book Condition: Acceptable.
Lade…