The Little Prover
Daniel P Friedman,
Carl Eastlund
Buy from $24.21
eBook from $28.99
|
Proof in VDM: Case Studies
Juan C Bicarregui (Editor)
Buy from $63.93
|
Logic Programming and...
Andrei Voronkov (Editor)
Buy from $51.65
|
Certified Programming with...
Adam Chlipala
Buy from $68.44
|
Isabelle: A Generic Theorem...
Lawrence C Paulson,
T Nipkow (Contributions by)
Buy from $51.65
|
Implementing Mathematics with...
R L Constable
Buy from $10.38
|
Automated Reasoning: First...
Rajeev Gore (Editor),
Alexander Leitsch (Editor)
Buy from $91.36
|
Automated Theorem Proving
Wolfgang Bibel
Buy from $49.17
|
Artificial Intelligence and...
Jacques Fleuriot (Editor),
Dongming Wang (Editor)
Buy from $46.17
eBook from $16.50
|
Theory Reasoning in...
Peter Baumgartner
Buy from $51.65
|
Symbolic Logic and Mechanical...
Chin-Liang Chang,
Richard Char Lee
Buy from $142.64
|
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 $61.08
|
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 $96.26
|
Automated Deduction in...
William McCune,
R Padmanabhan
Buy from $33.64
|
First-Order Logic and...
Melvin Fitting
Buy from $78.30
|
7th International Conference...
R E Shostak (Editor)
Buy from $88.13
|
Automated Theorem Proving
Wolfgang Bibel
Buy from $84.66
|
Automated Reasoning: 11th...
Jasmin Blanchette (Editor),
Laura Kovács (Editor)
Buy from $46.96
|
Mathematical Reasoning with...
Mateja Jamnik
Buy from $29.05
|
Automated Reasoning:...
Larry Wos
Buy from $9.98
|
