The Little Prover
Daniel P Friedman,
Carl Eastlund
Buy new from $55.11
eBook from $28.99
|
Proof in VDM: Case Studies
Juan C Bicarregui (Editor)
Buy new from $63.93
|
Logic Programming and...
Andrei Voronkov (Editor)
Buy new from $60.65
|
Certified Programming with...
Adam Chlipala
Buy new from $77.44
|
Isabelle: A Generic Theorem...
Lawrence C Paulson,
T Nipkow (Contributions by)
Buy new from $60.65
|
Types for Proofs and Programs...
Henk Barendregt (Editor),
Tobias Nipkow (Editor)
Buy new from $60.65
|
Automated Theorem Proving
Wolfgang Bibel
Buy new from $61.88
|
Implementing Mathematics with...
R L Constable
Buy new from $19.38
|
Theory Reasoning in...
Peter Baumgartner
Buy new from $60.65
|
Automated Reasoning: First...
Rajeev Gore (Editor),
Alexander Leitsch (Editor)
Buy new from $91.36
|
Artificial Intelligence and...
Jacques Fleuriot (Editor),
Dongming Wang (Editor)
Buy new from $46.17
eBook from $16.50
|
Symbolic Logic and Mechanical...
Chin-Liang Chang,
Richard Char Lee
Buy new from $149.64
|
Theorem Proving in Higher...
Jim Grundy (Editor),
Malcolm Newey (Editor)
Buy new from $60.65
|
Diagrammatic Reasoning:...
Janice Glasgow (Editor),
N Hari Narayanan (Editor)
Buy new from $150.60
|
Interactive Theorem Proving:...
Marko Van Eekelen (Editor),
Herman Geuvers (Editor)
Buy new from $60.65
eBook from $16.50
|
Automated Theorem Proving:...
Monty Newborn
Buy new from $96.26
|
Automated Deduction in...
William McCune,
R Padmanabhan
Buy new from $60.65
|
First-Order Logic and...
Melvin Fitting
Buy new from $92.08
|
7th International Conference...
R E Shostak (Editor)
Buy new from $106.20
|
Automated Theorem Proving
Wolfgang Bibel
Buy new from $96.58
|
Automated Reasoning: 11th...
Jasmin Blanchette (Editor),
Laura Kovács (Editor)
Buy new from $48.80
|
Automated Deduction - Cade-11...
Deepak Kapur (Editor)
Buy new from $112.32
|
Mathematical Reasoning with...
Mateja Jamnik
Buy new from $35.43
|
Automated Reasoning:...
Larry Wos
Buy new from $18.20
|
