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

Automated Theorem Proving, Fachbücher von Monty Newborn

Probabilistic Analysis using Theorem Proving, Fachbücher

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

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...

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

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

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

Xingyuan Zhang (u. A.) | Interactive Theorem Proving | Taschenbuch |