Verwandte Artikel zu Automated Theorem Proving: After 25 Years (Contemporary...
Neu kaufen
Diesen Artikel anzeigen
EUR 107,13
EUR 11,72 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Automated Theorem Proving: After 25 Years (Contemporary...
Beispielbild für diese ISBN
Automated Theorem Proving: After 25 Years (Contemporary Mathematics)
Verlag:
Amer Mathematical Society, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
Gebraucht
Paperback
Anbieter: Basement Seller 101, Cincinnati, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Bestandsnummer des Verkäufers 201229092
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Automated Theorem Proving: After 25 Years (Contemporary Mathematics).
Verlag:
American Mathematical Society, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
Gebraucht
Broschiert
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: Gut. Contemporary Mathematics, Volume 29. Zust: Gutes Exemplar. Cover leicht verschmutzt. Mit Vorbesitzereintrag. IX, 360 Seiten, Englisch 498g. Bestandsnummer des Verkäufers 492702
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Contemporary Mathematics: Volume 29. Automated Theorem Proving: After 25 Years.
ISBN 10: 082185027X
ISBN 13: 9780821850275
Gebraucht
Softcover
Erstausgabe
Anbieter: Alien Bindings, BALTIMORE, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Very Good. No Jacket. First Edition. Vol. 29 of Contemporary Mathematics(Automated Theorem Proving: After 25 Years). Creased upper corner of the front cover, otherwise the covers look great. The binding is tight. The title page is stamped. The interior pages are clean and unmarked. Electronic delivery tracking will be issued free of charge. Bestandsnummer des Verkäufers 09705
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Automated Theorem Proving: after 25 Years
Verlag:
American Math Soc, Province RI, 1985
ISBN 10: 082185027X
ISBN 13: 9780821850275
Gebraucht
Paperback
Anbieter: T. A. Borden Books, Olney, MD, USA
Verkäuferbewertung 4 von 5 Sternen
Paperback. Second Printing. Near Fine+; Contemporary Math V29; 360 pages. Bestandsnummer des Verkäufers 23600
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Automated Theorem Proving After 25 Years
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 360 pages. 10.25x7.00x1.00 inches. In Stock. Bestandsnummer des Verkäufers zk082185027X
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
AUTOMATED THEOREM PROVING AFTER 25 YEAR
Anbieter: Speedyhen, London, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: NEW. Bestandsnummer des Verkäufers NW9780821850275
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Automated Theorem Proving
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers GB-9780821850275
Anzahl: 2 verfügbar
Foto des Verkäufers
Automated Theorem Proving
Verlag:
American Mathematical Society, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
Neu
Kartoniert / Broschiert
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Kartoniert / Broschiert. Zustand: New. Bestandsnummer des Verkäufers 595068152
Anzahl: 2 verfügbar
Foto des Verkäufers
Automated Theorem Proving : After 25 Years
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 19136892-n
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Automated Theorem Proving: After 25 Years (Contemporary Mathematics)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780821850275_new
Anzahl: 2 verfügbar