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

The Geometry of Physics - Theodore Frankel - Cambridge University Press

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

Fleuriot - A Combination of Geometry Theorem Proving and Nonstandard A - X555z

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

Symbolic Logic and Mechanical Theorem Proving - 9780121703509

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

Logic For Computer Science- Foundations of Automatic Theorem Proving J Gallier