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 $65.16
|
Certified Programming with...
Adam Chlipala
Buy new from $77.44
|
Logic Programming and...
Andrei Voronkov (Editor)
Buy new from $60.65
|
Isabelle: A Generic Theorem...
Lawrence C Paulson,
T Nipkow (Contributions by)
Buy new from $60.65
|
Automated Theorem Proving
Wolfgang Bibel
Buy new from $71.04
|
Symbolic Logic and Mechanical...
Chin-Liang Chang,
Richard Char Lee
Buy new from $149.64
|
Implementing Mathematics with...
R L Constable
Buy new from $19.38
|
Theory Reasoning in...
Peter Baumgartner
Buy new from $60.65
|
Artificial Intelligence and...
Jacques Fleuriot (Editor),
Dongming Wang (Editor)
Buy new from $60.65
eBook from $16.50
|
Types for Proofs and Programs...
Henk Barendregt (Editor),
Tobias Nipkow (Editor)
Buy new from $60.65
|
Automated Reasoning: First...
Rajeev Gore (Editor),
Alexander Leitsch (Editor)
Buy new from $107.04
|
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 $116.24
|
Automated Deduction in...
William McCune,
R Padmanabhan
Buy new from $60.65
|
First-Order Logic and...
Melvin Fitting
Buy new from $102.00
|
7th International Conference...
R E Shostak (Editor)
Buy new from $112.32
|
Automated Theorem Proving
Wolfgang Bibel
Buy new from $107.04
|
Automated Reasoning: 11th...
Jasmin Blanchette (Editor),
Laura Kovács (Editor)
Buy new from $52.80
|
Automated Deduction - Cade-11...
Deepak Kapur (Editor)
Buy new from $112.32
|
Mathematical Reasoning with...
Mateja Jamnik
Buy new from $36.01
|
Automated Reasoning:...
Larry Wos
Buy new from $18.20
|
