Interactive Theorem Proving 8th International Conference, Itp 2017,

Theorem Proving In Higher Order Logics 22nd International Conference,

Florian Kammüller | Interactive Theorem Proving In Software

Interactive Theorem Proving And Program Development Coq'art: The

Interactive Theorem Proving And Program Development | Pierre Castéran

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

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

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

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

Cloud Computing 5th International Conference, Cloudcomp 2014, Guilin,

Interactive Storytelling 9th International Conference On Interactive

Information Technologies In Medicine 5th International Conference,

Interactive Theorem Proving and Program Development, Fachbücher

Trigger Effects In Geosystems The 5th International Conference,

Agents And Artificial Intelligence 5th International Conference,

Computational Social Networks 5th International Conference, Csonet