Theorem Proving with the Real Numbers, Fachbücher von John Harrison

John Harrison | Theorem Proving With The Real Numbers | Taschenbuch |

Theorem Proving With The Real Numbers 1914

John Harrison (u. A.) | Theorem Proving In Higher Order Logics |

Automated Theorem Proving, Fachbücher von Monty Newborn

Interactive Theorem Proving and Program Development, Fachbücher

The Efficiency of Theorem Proving Strategies, Fachbücher von David A. Plaisted, Yunshan Zhu

Interactive Theorem Proving, Fachbücher von Jeremy Avigad, Assia Mahboubi

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Prin, Fachbücher von Jac...

Interactive Theorem Proving, Fachbücher von Jasmin Christian Blanchette, Stephan Merz

Theorem Proving in Higher Order Logics, Fachbücher von Klaus Schneider, Jens Brandt

Interactive Theorem Proving, Fachbücher von Mauricio Ayala-Rincón, César A. Muñoz

An Answer to Dr. Pusey's Challenge Respecting the Doctrine of the Real Presence, Fachbücher von John Harrison

Interactive Theorem Proving, Fachbücher von Sandrine Blazy, David Pichardie, Christine Paulin-Mohring

Music by Numbers, Fachbücher von David Harrison

Interactive Theorem Proving And Program Development Coq'art: The