Automated Theorem Proving, Fachbücher von Monty Newborn

Current Trends In Hardware Verification And Automated Theorem Proving

Sean B. Holden Machine Learning For Automated Theorem Proving

Interactive Theorem Proving and Program Development, Fachbücher

Beyond Deep Blue, Fachbücher von Monty Newborn

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

Automated Theorem Proving Theory And Practice 2333

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

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

Automated Theorem Proving in Software Engineering, Fachbücher von Johann M. Schumann

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

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

Florian Kammüller | Interactive Theorem Proving In Software

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

Theorem Proving With The Real Numbers 1914

Osman Hasan | Probabilistic Analysis Using Theorem Proving |