The Little Prover
Daniel P Friedman,
Carl Eastlund
Buy from £29.85
|
Automated Deduction in...
William McCune,
R Padmanabhan
Buy from £27.75
|
Types for Proofs and Programs...
Henk Barendregt (Editor),
Tobias Nipkow (Editor)
Buy from £9.65
|
Automated Theorem Proving
Wolfgang Bibel
Buy from £81.35
|
Certified Programming with...
Adam Chlipala
Buy from £47.14
|
Isabelle: A Generic Theorem...
Lawrence C Paulson,
T Nipkow (Contributions by)
Buy from £46.97
|
Symbolic Logic and Mechanical...
Chin-Liang Chang,
Richard Char Lee
Buy from £95.52
|
First-Order Logic and...
Melvin Fitting
Buy from £55.60
|
Implementing Mathematics with...
R L Constable
Buy from £15.60
|
Automated Deduction in...
Ricardo Caferra (Editor),
Gernot Salzer (Editor)
Buy from £33.27
|
Automated Reasoning with...
Didier Galmiche (Editor)
Buy from £48.73
|
7th International Conference...
R E Shostak (Editor)
Buy from £9.66
|
Diagrammatic Reasoning:...
Janice Glasgow (Editor),
N Hari Narayanan (Editor)
Buy from £7.54
|
Diagrammatic Representation...
Michael Anderson (Editor),
Dr. Bernd Meyer (Editor)
Buy from £62.66
eBook from £38.38
|
Automated Deduction - Cade-11...
Deepak Kapur (Editor)
Buy from £76.65
|
Compositionality: The...
Willem-Paul de Roever (Editor),
Hans Langmaack (Editor)
Buy from £50.62
|
Lectures on Proof...
Ernst W Mayr (Editor),
Hans Jürgen Prömel (Editor)
Buy from £48.63
|
Types for Proofs and Programs...
Thorsten Altenkirch (Editor),
Wolfgang Naraschewski (Editor)
Buy from £32.72
|
Automated Reasoning: 33 Basic...
Larry Wos
Buy from £17.80
|
Proof in VDM: A Practitioner...
Juan C Bicarregui,
Dr. John Fitzgerald
Buy from £48.73
|
The Computer Modeling of...
Alan Bundy
Buy from £9.85
|
A Many-Sorted Calculus Based...
Christoph Walther
Buy from £19.82
eBook from £25.71
|
Mechanical Theorem Proving in...
Wen-Tsun Wu
Buy from £32.31
|
Automated Reasoning:...
Larry Wos
Buy from £16.09
|
