Interactive Theorem Proving And Program Development Pierre Castéran

Interactive Theorem Proving And Program Development Coq'art: The

Pierre Castéran (u. A.) | Interactive Theorem Proving And Program

Interactive Theorem Proving and Program Development, Fachbücher

Florian Kammüller | Interactive Theorem Proving In Software

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

Ruben Gamboa (u. A.) | Interactive Theorem Proving | Taschenbuch |

Interactive Theorem Proving 7th International Conference, Itp 2016,

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

Automated Theorem Proving Theory And Practice 2333

Current Trends In Hardware Verification And Automated Theorem Proving

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

Osman Hasan | Probabilistic Analysis Using Theorem Proving |

Theorem Proving With The Real Numbers 1914