interactive theorem proving 4th international conference itp 2013 paperba

interactive theorem proving 4th international conference itp 2013 paperba

Recommended

Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As...

Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As...

$75.16

View Details

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

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

$126.00

View Details

Blanchette - Interactive Theorem Proving 7th International Conferen - S9000z

Blanchette - Interactive Theorem Proving 7th International Conferen - S9000z

$69.80

View Details

Interactive Theorem Proving - 9783319948201

Interactive Theorem Proving - 9783319948201

$83.92

View Details

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

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

$70.75

View Details

How to Draw Theorem of Pose Illustration Drawing Technique Guide Japanese Book

How to Draw Theorem of Pose Illustration Drawing Technique Guide Japanese Book

$60.00

View Details

Avigad - Interactive Theorem Proving 9th International Conference I - N555z

Avigad - Interactive Theorem Proving 9th International Conference I - N555z

$137.46

View Details

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Par

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Par

$39.00

View Details

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

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

$75.33

View Details

Interactive Theorem Proving - 9783319089690

Interactive Theorem Proving - 9783319089690

$49.80

View Details