Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems

Jing-zhong Zhang, Shang-ching Chou et Xiaoshan Gao

ISBN 10: 9810215843 ISBN 13: 9789810215842
Verlag: World Scientific Publishing Co Pte Ltd, 1994
Sprache: Englisch
Zustand: Gebraucht - Sehr gut Hardcover

Verkauft von Ammareal, Morangis, Frankreich

AbeBooks-Verkäufer seit 29. August 2016

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Hardcover

Zustand: Gebraucht - Sehr gut

Sonderangebot
Preis: EUR 2,70 Währung umrechnen
EUR 22,50 für den Versand von Frankreich nach USA Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb legen