Automated Theorem Proving, Fachbücher von Monty Newborn

Current Trends In Hardware Verification And Automated Theorem Proving

Automated Theorem Proving Theory And Practice 2333

Sean B. Holden Machine Learning For Automated Theorem Proving

Interactive Theorem Proving and Program Development, Fachbücher

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

Beyond Deep Blue, Fachbücher von Monty Newborn

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

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

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

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

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

Florian Kammüller | Interactive Theorem Proving In Software

Osman Hasan | Probabilistic Analysis Using Theorem Proving |