Interactive Theorem Proving And Program Development
Springer
ISBN13:
9783540208549
$149.40
(No reviews yet)
Write a Review
Springer
Interactive Theorem Proving And Program Development
- | Author: Yves Bertot, Pierre Cast??Ran
- | Publisher: Springer
- | Publication Date: May 14, 2004
- | Number of Pages: 500 pages
- | Language: English
- | Binding: Hardcover
- | ISBN-10: 3540208542
- | ISBN-13: 9783540208549
- Author:
- Yves Bertot, Pierre Cast??Ran
- Publisher:
- Springer
- Publication Date:
- May 14, 2004
- Number of pages:
- 500 pages
- Language:
- English
- Binding:
- Hardcover
- ISBN-10:
- 3540208542
- ISBN-13:
- 9783540208549
-
-
-
Machine Learning For Automated Theorem Proving : Learning To Solve Sat And Qsat
$118.38Now Publishers
-
Sale
