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 |

Probabilistic Analysis using Theorem Proving, Fachbücher

Automated Theorem Proving, Fachbücher von Monty Newborn

Interactive Theorem Proving and Program Development, Fachbücher

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

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

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

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

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

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

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

Interactive Theorem Proving And Program Development Coq'art: The