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

Theorem Proving with Analytic Tableaux and Related Methods : Proc

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