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

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

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

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

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

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

Applied Logic for Computer Scientists, Fachbücher von Mauricio Ayala-Rincón, Flávio L. C. de Moura

Florian Kammüller | Interactive Theorem Proving In Software

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

Interactive Theorem Proving 4th International Conference, Itp 2013,

Interactive Theorem Proving And Program Development Pierre Castéran

Interactive Theorem Proving And Program Development Coq'art: The

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

Automated Theorem Proving, Fachbücher von Monty Newborn