interactive theorem proving 4th international conference itp 2013 paperba

interactive theorem proving 4th international conference itp 2013 paperba

Recommended

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving, P...

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving, P...

$81.52

View Details

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving by Os

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving by Os

$93.19

View Details

Klein - Interactive Theorem Proving 5th International Conference IT - N555z

Klein - Interactive Theorem Proving 5th International Conference IT - N555z

$79.78

View Details

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton

$66.98

View Details

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton

$75.33

View Details

Van Eekelen - Interactive Theorem Proving Second International Conf - S9000z

Van Eekelen - Interactive Theorem Proving Second International Conf - S9000z

$76.18

View Details

Interactive Theorem Proving: 8th International Conference, ITP 2017, Bras?lia, B

Interactive Theorem Proving: 8th International Conference, ITP 2017, Bras?lia, B

$85.08

View Details

Interactive Theorem Proving in Software Engineering by Florian Kamm?ller (Englis

Interactive Theorem Proving in Software Engineering by Florian Kamm?ller (Englis

$69.39

View Details

Interactive Theorem Proving and Program - Hardcover, by Bertot Yves - New h

Interactive Theorem Proving and Program - Hardcover, by Bertot Yves - New h

$48.12

View Details

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of In

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of In

$138.25

View Details