La Milano

interactive theorem proving and program development by yves bertot hardcover

interactive theorem proving and program development by yves bertot hardcover

Recommended

Van Eekelen - Interactive Theorem Proving   Second International Confe - T555z
Van Eekelen - Interactive Theorem Proving Second International Confe - T555z

$66.60

View Details
Interactive Theorem Proving - 9783642396335
Interactive Theorem Proving - 9783642396335

$49.80

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 : 8th International Conference, Proceedings, Pape...
Interactive Theorem Proving : 8th International Conference, Proceedings, Pape...

$79.76

View Details
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Par
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Par

$85.08

View Details
Interactive Theorem Proving : 4th International Conference, Itp 2013, Paperba...
Interactive Theorem Proving : 4th International Conference, Itp 2013, Paperba...

$59.22

View Details
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: 9th International Conference, ITP 2018, Held as Par
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Par

$115.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 : 8th International Conference, Proceedings, Pape...
Interactive Theorem Proving : 8th International Conference, Proceedings, Pape...

$69.79

View Details