|
1.
|
|
First International Conference, ITP 2010...
-
ISBN:
-
978-3-642-14051-8
-
Book Format:
- Paperback
-
List Price:
- USD $109.99
-
Publisher:
- Springer Berlin / Heidelberg
-
Publication Date:
- Jun 2010
|
|
|
2.
|
|
A Generic Theorem Prover
|
|
|
3.
|
|
A Proof Assistant for Higher-Order Logic
|
|
|
4.
|
|
A Generic Theorem Prover
|
|
|
5.
|
|
A Generic Theorem Prover
|
|
|
6.
|
|
Interactive Proof with Cambridge LCF
|
|
|
7.
|
|
Interactive Proof with Cambridge LCF
-
Author:
-
Paulson, Lawrence C.
-
ISBN:
-
978-0-511-52660-2
-
Book Format:
- Digital (delivered electronically)
-
List Price:
- AUD $200.00
-
Publisher:
- Cambridge University Press
-
Publication Date:
- Sep 2009
|
|
|
8.
|
|
First International Conference, ITP 2010...
-
ISBN:
-
978-3-642-14052-5
-
Book Format:
- Ebook
-
List Price:
- USD $149.00
-
Publisher:
- Springer
-
Publication Date:
- Jul 2010
|
|
|
9.
|
|
A Proof Assistant for Higher-Order Logic
|
|
|
10.
|
|
First International Conference, ITP 2010...
-
ISBN:
-
978-3-642-14051-8
-
Book Format:
- Paperback
-
List Price:
- AUD $237.95
-
Publisher:
- Springer
-
Publication Date:
- Jun 2010
|
|
|
11.
|
|
A Proof Assistant for Higher-Order Logic
|
|
|
12.
|
|
A Generic Theorem Prover
|
|
|
13.
|
|
A Generic Theorem Prover
|
|
|
14.
|
|
Interactive Proof with Cambridge LCF
-
Author:
-
Paulson, Lawrence C.
-
ISBN:
-
978-0-511-52660-2
-
Book Format:
- Digital (delivered electronically)
-
List Price:
- USD $165.00
-
Publisher:
- Cambridge University Press
-
Publication Date:
- Sep 2009
|
|
|
15.
|
|
Interactive Proof with Cambridge LCF
|
|