The Little Prover
Daniel P Friedman,
Carl Eastlund
Buy from $28.01
eBook from $28.99
|
Proof in VDM: Case Studies
Juan C Bicarregui (Editor)
Buy from $65.16
|
Certified Programming with...
Adam Chlipala
Buy from $68.44
|
Isabelle: A Generic Theorem...
Lawrence C Paulson,
T Nipkow (Contributions by)
Buy from $51.65
|
Automated Theorem Proving
Wolfgang Bibel
Buy from $64.04
|
Theory Reasoning in...
Peter Baumgartner
Buy from $51.65
|
Implementing Mathematics with...
R L Constable
Buy from $10.38
|
Symbolic Logic and Mechanical...
Chin-Liang Chang,
Richard Char Lee
Buy from $142.64
|
Automated Reasoning: First...
Rajeev Gore (Editor),
Alexander Leitsch (Editor)
Buy from $100.04
|
Artificial Intelligence and...
Jacques Fleuriot (Editor),
Dongming Wang (Editor)
Buy from $51.65
eBook from $16.50
|
Types for Proofs and Programs...
Henk Barendregt (Editor),
Tobias Nipkow (Editor)
Buy from $51.65
|
Theorem Proving in Higher...
Jim Grundy (Editor),
Malcolm Newey (Editor)
Buy from $51.65
|
Automated Reasoning with...
G Goos (Editor),
J Hartmanis (Editor)
Buy from $67.86
|
Diagrammatic Reasoning:...
Janice Glasgow (Editor),
N Hari Narayanan (Editor)
Buy from $112.56
|
Interactive Theorem Proving:...
Marko Van Eekelen (Editor),
Herman Geuvers (Editor)
Buy from $51.65
eBook from $16.50
|
Automated Theorem Proving:...
Monty Newborn
Buy from $109.24
|
Automated Deduction in...
William McCune,
R Padmanabhan
Buy from $51.65
|
First-Order Logic and...
Melvin Fitting
Buy from $93.00
|
7th International Conference...
R E Shostak (Editor)
Buy from $103.32
|
Automated Theorem Proving
Wolfgang Bibel
Buy from $100.04
|
Automated Reasoning: 11th...
Jasmin Blanchette (Editor),
Laura Kovács (Editor)
Buy from $46.96
|
Automated Deduction - Cade-11...
Deepak Kapur (Editor)
Buy from $103.32
|
Mathematical Reasoning with...
Mateja Jamnik
Buy from $29.05
|
Automated Reasoning:...
Larry Wos
Buy from $9.98
|
