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

Theorem Proving In Higher Order Logics 22nd International Conference,

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

Otmane Ait Mohamed (u. A.) | Theorem Proving In Higher Order Logics |

Stefan Berghofer (u. A.) | Theorem Proving In Higher Order Logics |

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

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

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

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

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

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

Probabilistic Analysis using Theorem Proving, Fachbücher von Osman Hasan