interactive-theorem-proving-conference

You May Like

Interactive Theorem Proving and Program Development - Hardcover - VERY GOOD
Interactive Theorem Proving and Program Development - Hardcover - VERY GOOD

$67.88

View Details
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, Fra
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, Fra

$67.23

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

$130.63

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

$67.23

View Details
Interactive Theorem Proving 9th International Conference Itp 2018
Interactive Theorem Proving 9th International Conference Itp 2018

$9.99

View Details
Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, Fr
Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, Fr

$61.12

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

$69.79

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

$65.03

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

$67.21

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

$69.78

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

$80.35

View Details
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en

$67.23

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.25

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

$69.78

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

$80.36

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

$69.79

View Details
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en

$73.61

View Details
Urban - Interactive Theorem Proving 6th International Conference I - S9000z
Urban - Interactive Theorem Proving 6th International Conference I - S9000z

$76.18

View Details
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, Fra
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, Fra

$73.61

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

$73.61

View Details
Klein - Interactive Theorem Proving 5th International Conference I - S9000z
Klein - Interactive Theorem Proving 5th International Conference I - S9000z

$104.20

View Details
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, Ch
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, Ch

$83.13

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

$123.79

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

$83.13

View Details
Interactive Theorem Proving: 8th International Conference, ITP 2017, Bras?lia, B
Interactive Theorem Proving: 8th International Conference, ITP 2017, Bras?lia, B

$83.13

View Details
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, Fran
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, Fran

$83.13

View Details
Urban - Interactive Theorem Proving 6th International Conference IT - T555z
Urban - Interactive Theorem Proving 6th International Conference IT - T555z

$65.89

View Details
Blanchett - Interactive Theorem Proving 7th International Conference - N555z
Blanchett - Interactive Theorem Proving 7th International Conference - N555z

$78.94

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

$65.04

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

$67.22

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

$77.19

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

$77.43

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

$78.94

View Details
Klein - Interactive Theorem Proving 5th International Conference IT - N555z
Klein - Interactive Theorem Proving 5th International Conference IT - N555z

$78.94

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

$61.10

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

$65.87

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

$76.90

View Details
Avigad - Interactive Theorem Proving 9th International Conference - S9000z
Avigad - Interactive Theorem Proving 9th International Conference - S9000z

$121.61

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

$77.20

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

$65.88

View Details
Avigad - Interactive Theorem Proving 9th International Conference I - T555z
Avigad - Interactive Theorem Proving 9th International Conference I - T555z

$136.00

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

$112.39

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

$112.41

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

$61.11

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

$77.44

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

$76.91

View Details

© 2008-2024 interactive-theorem-proving-conference (https://www.grassdime.com/). All Rights Reserved.