Mechanical Theorem Proving in Geometries Wen-Tsün Wu
85,55 €
Titel: Mechanical Theorem Proving in Geometries, Untertitel: Basic Principles, Einband: Taschenbuch, Autor: Wen-Tsün Wu, Verlag: Springer Vienna, Springer Vienna, Sprache: Englisch, Seiten: 308, Maße: 244x170x17 mm, Gewicht: 535 g, Verkäufer: buch-mimpf, Schlagworte: Begründung / Beweis Beweis Datenverarbeitung / Anwendungen / Mathematik, Statistik Geometrie Raumlehre Maschine Area Geometry Multiplication algebraic varieties automated theorem proving combinatorics commutative property sets theorem proving.
Jetzt bei Ebay:
