Die Antiquariatsbuchplattform von


Erweiterte Suche
Mein Konto    Warenkorb
Sie haben keine Artikel im Warenkorb.  

Suchergebnisse der Detailsuche

Kosten anzeigen für:

Es wurden insgesamt 2 Artikel gefunden. Artikel 1 bis 2 werden dargestellt.


Loveland, Donald W. Automated Theorem Proving: A Logical Basis North-Holland Amsterdam 1978 Format groß Antikbuch24-SchnellhilfeOktav = Höhe des Buchrücken 18,5-22,5 cm, LEINEN, Einband etwas geblichen/berieben, , 405 leicht nachgedunkelte Seiten, kleines Fleckchen auf dem Vorderdeckel, dies ist ein regulär ausgesondertes Bibliotheksexemplar aus einer wissenschaftlichen Bibliothek, keine Markierungen / Anmerkungen, das Buch befindet sich in einem guten Zustand --- LINEN BINDING, Lib.Ex., no marks, cover slightly brightened/rubbed, little dot on front cover, 405 a bit darkened pages, good condition
Buchdetails ansehen...

Bestell-Nr.: 16636 - gefunden im Sachgebiet: Informatik EDV
Anbieter: Antiquariat Thomas & Reinhard, DE-45657 Recklinghausen
Paypal accepted for orders from abroad

EUR 56,00
inkl. MwSt., zzgl. Versand: EUR 6,90
Lieferzeit: 3 - 7 Werktage
Preis umrechnen

In den Warenkorb

 

Loveland, Donald W.: Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Vol. 6. Amsterdam (NL), North-Holland., 1978. 405 p., Hardcover. ISBN: 9780720404999 Good condition according to age. Note of ownership. Paper slightly brownished at the edges.
[SW: Mathematics, Logik]
Buchdetails ansehen...

Bestell-Nr.: 861127 - gefunden im Sachgebiet: Mathematik
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, DE-10439 Berlin Prenzlauer Berg

EUR 45,00
inkl. MwSt., zzgl. Versand: EUR 3,50
Lieferzeit: 1 - 4 Werktage
Preis umrechnen

In den Warenkorb

 


Wenn nicht anders angegeben, ist in den Preisen der EU-Anbieter Mehrwertsteuer enthalten.

FF-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren
IE-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren

Bei Linkarena speichern

Top