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

Yunshan Zhu (u. A.) | The Efficiency Of Theorem Proving Strategies |

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

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

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

Automated Theorem Proving, Fachbücher von Monty Newborn

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

Interactive Theorem Proving and Program Development, Fachbücher

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

A Combination Of Geometry Theorem Proving And Nonstandard Analysis

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

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

Theorem Proving With The Real Numbers 1914

César A. Muñoz (u. A.) | Interactive Theorem Proving | Taschenbuch |

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving, Fachbücher von Osman Hasan, Asad Ahmed, Nabi...

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