Publisher's Synopsis
Interactive Theorem Proving
Can You Solve My Problems?
Paperback
Published 06 Jul 2017
Save $1.81
- RRP $15.03
- $13.22
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Paperback (15 Aug 2016)
Not available for sale
Out of stock
Check stock
Book information
| ISBN: | 9783319431451 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 15 Aug 2016 |
| Language: | English |
| Number of pages: | 522 |
| Weight: | 725g |
| Height: | 234mm |
| Width: | 156mm |
We recommend
$1.81off
Can You Solve My Problems?
$1.31off
At Sixes and Sevens
Hardback
Published 28 Oct 2021
Save $1.31
- RRP $20.49
- $19.18
How to Expect the Unexpected
Paperback
Published 15 Aug 2024
- $16.08
First-Order Logic
Paperback
Published 01 Feb 2000
- $12.65
$55.46off
Classical and Nonclassical Logics
Hardback
Published 20 Sep 2005
Save $55.46
- RRP $149.03
- $93.57
Handbook of Mathematical Fuzzy ...
Paperback
Published 21 Dec 2011
- $30.47
$3.86off
To Mock a Mockingbird and Other...
Paperback
Published 09 Nov 2000
Save $3.86
- RRP $17.76
- $13.90
$9.92off
Maths Frameworking. Pupil Book ...
Paperback
Published 11 Jun 2014
Save $9.92
- RRP $24.60
- $14.68
$5.09off
Hao Wang. Logician and Philosop...
Paperback
Published 02 Nov 2011
Save $5.09
- RRP $16.41
- $11.32