Interactive Theorem Proving 5th International Conference, Itp 2014,

Theorem Proving In Higher Order Logics 22nd International Conference,

Florian Kammüller | Interactive Theorem Proving In Software

Interactive Storytelling 5th International Conference, Icids 2012, San

Interactive Theorem Proving And Program Development | Pierre Castéran

Interactive Theorem Proving And Program Development Coq'art: The

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

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

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

Interactive Storytelling 8th International Conference On Interactive

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

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

Information Technologies In Medicine 5th International Conference,

Trigger Effects In Geosystems The 5th International Conference,

Scalable Information Systems 5th International Conference, Infoscale

Smart Computing And Communication 5th International Conference,