Theorem Proving with the Real Numbers (Distinguished Dissertations) by

Harrison - orem Proving with the Real Numbers - New paperback or softb - X555z

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

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

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

Symbolic Logic and Mechanical Theorem Proving - 9780121703509

Theorem Proving in Higher Order Logics : 16th International Conference, Tphol...

Interactive Theorem Proving : 7th International Conference, Proceedings, Pape...