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

Osman Hasan | Probabilistic Analysis Using Theorem Proving |

Probabilistic Analysis using Theorem Proving, Fachbücher

Interactive Theorem Proving and Program Development, Fachbücher

Formal Techniques for Safety-Critical Systems, Fachbücher von Osman Hasan, Frédéric Mallet

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

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

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

Interactive Theorem Proving in Software Engineering, Fachbücher von Florian Kammüller

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

Formal Modeling and Analysis of Timed Systems, Fachbücher

Analysis of Poverty among Pastoral Households in Harshin Woreda., Fachbücher von Ahmed Hasan Falug

Development of an Automated Two Axes Sun Tracker using Microcontroller, Fachbücher von Raquib Ahmed, Md. Raied Hasan

Improvement of Lubricating Oils Characters Using Novel Additives, Fachbücher von Ahmed El-Mekabaty Mohamed, Osman Habib,...

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