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