-
RecordNumber
469
-
Author
Chou, Shang-Ching,
-
Title
Mechanical Geometry Theorem Proving
-
Publication
D. Reidel Publishing Company
-
Collation
187 p.
-
Notes
(Mathematics and its applications) , براي دانلودو مشاهده كتاب به قسمت لينكهاي مرتبط مراجعه نماييد
-
Subject
Automatic theorem proving.
-
ISBN
90=277-2650-7
-
Link To Document :
