Leviton

interactive theorem proving second international conference itp 2011 berg en

interactive theorem proving second international conference itp 2011 berg en

Recommended

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 and Program Development: Coq’Art: The Calculus of
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of

$146.04

View Details
Blazy - Interactive Theorem Proving 4th International Conference IT - N555z
Blazy - Interactive Theorem Proving 4th International Conference IT - N555z

$79.78

View Details
Interactive Theorem Proving : 7th International Conference, Proceedings, Pape...
Interactive Theorem Proving : 7th International Conference, Proceedings, Pape...

$59.20

View Details
Interactive Theorem Proving : 9th International Conference, Itp 2018, Held As...
Interactive Theorem Proving : 9th International Conference, Itp 2018, Held As...

$114.99

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

$66.98

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

$81.53

View Details
Interactive Theorem Proving - 9783319431437
Interactive Theorem Proving - 9783319431437

$49.80

View Details
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasilia,
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasilia,

$94.99

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

$75.17

View Details

© 2008-2024 Leviton (https://www.voyageoi.com/). All Rights Reserved.