A Combination of Geometry Theorem Proving and Nonstandard Analysis with...

Combination of Geometry Theorem Proving and Nonstandard Analysis With Applica...

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Applicat

Symbolic Logic and Mechanical Theorem Proving, Lee and Chang (Hardcover, 1973)

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat

Mathematics Mechanization : Mechanical Geometry Theorem-Proving, Mechanical G...

Theorem Proving with the Real Numbers by John Harrison (English) Paperback Book