interactive theorem proving 7th international conference proceedings pape

interactive theorem proving 7th international conference proceedings pape

Recommended

Interactive Theorem Proving and Program Develop. Bertot, CastAran

Interactive Theorem Proving and Program Develop. Bertot, CastAran

$69.40

View Details

Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh,

Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh,

$129.05

View Details

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

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

$75.16

View Details

Research in Computational Topology, Hardcover by Gasparovic, Ellen (EDT); Rob...

Research in Computational Topology, Hardcover by Gasparovic, Ellen (EDT); Rob...

$123.29

View Details

Interactive Theorem Proving : 6th International Conference, Itp 2015, Nanjing...

Interactive Theorem Proving : 6th International Conference, Itp 2015, Nanjing...

$76.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

$146.04

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

Interactive Theorem Proving - 9783642323461

Interactive Theorem Proving - 9783642323461

$48.72

View Details

Ayala-Rincn - Interactive Theorem Proving 8th International Confer - S9000z

Ayala-Rincn - Interactive Theorem Proving 8th International Confer - S9000z

$69.80

View Details

Interactive Theorem Proving and Program Develop. Bertot, CastAran, Huet<|

Interactive Theorem Proving and Program Develop. Bertot, CastAran, Huet<|

$94.64

View Details