The Little Prover
Daniel P Friedman,
Carl Eastlund
Buy from $33.62
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 $60.65
|
Certified Programming with...
Adam Chlipala
Buy from $77.44
|
Isabelle: A Generic Theorem...
Lawrence C Paulson,
T Nipkow (Contributions by)
Buy from $60.65
|
Implementing Mathematics with...
R L Constable
Buy from $19.38
|
Theory Reasoning in...
Peter Baumgartner
Buy from $60.65
|
Automated Theorem Proving
Wolfgang Bibel
Buy from $61.88
|
Automated Reasoning: First...
Rajeev Gore (Editor),
Alexander Leitsch (Editor)
Buy from $91.36
|
Artificial Intelligence and...
Jacques Fleuriot (Editor),
Dongming Wang (Editor)
Buy from $46.17
eBook from $16.50
|
Types for Proofs and Programs...
Henk Barendregt (Editor),
Tobias Nipkow (Editor)
Buy from $60.65
|
Theorem Proving in Higher...
Jim Grundy (Editor),
Malcolm Newey (Editor)
Buy from $60.65
|
Diagrammatic Reasoning:...
Janice Glasgow (Editor),
N Hari Narayanan (Editor)
Buy from $119.56
|
Interactive Theorem Proving:...
Marko Van Eekelen (Editor),
Herman Geuvers (Editor)
Buy from $60.65
eBook from $16.50
|
Automated Deduction in...
William McCune,
R Padmanabhan
Buy from $40.64
|
First-Order Logic and...
Melvin Fitting
Buy from $92.08
|
7th International Conference...
R E Shostak (Editor)
Buy from $106.20
|
Automated Theorem Proving
Wolfgang Bibel
Buy from $96.58
|
Automated Reasoning: 11th...
Jasmin Blanchette (Editor),
Laura Kovács (Editor)
Buy from $48.80
|
Higher Order Logic Theorem...
E Thomas Schubert (Editor),
Phillip J Windley, PH.D. (Editor)
Buy from $50.98
|
Lectures on Proof...
Ernst W Mayr (Editor),
Hans Jürgen Prömel (Editor)
Buy from $60.65
|
Mathematical Reasoning with...
Mateja Jamnik
Buy from $35.43
|
Automated Reasoning:...
Larry Wos
Buy from $15.98
|
Higher Order Logic Theorem...
Luc J M Claesen
Buy from $141.95
|
