interactive theorem proving third international conference itp 2012 princeton
interactive theorem proving third international conference itp 2012 princeton
Recommended
Interactive Theorem Proving : 5th International Conference, Itp 2014, Held As...
$75.17
View Details
Interactive Theorem Proving : 7th International Conference, Proceedings, Pape...
$59.20
View Details
Interactive Theorem Proving : 6th International Conference, Itp 2015, Nanjing...
$76.16
View Details
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of In
$60.02
View Details
Interactive Theorem Proving : 4th International Conference, Itp 2013, Paperba...
$66.97
View Details
Interactive Theorem Proving : 4th International Conference, Itp 2013, Paperba...
$59.22
View Details