The Little Prover
Daniel P Friedman,
Carl Eastlund
Buy from £29.85
|
Automated Deduction in...
William McCune,
R Padmanabhan
Buy from £27.75
|
Symbolic Logic and Mechanical...
Chin-Liang Chang,
Richard Char-Tung Lee
Buy from £15.11
|
Types for Proofs and Programs...
Henk Barendregt (Editor),
Tobias Nipkow (Editor)
Buy from £9.65
|
Automated theorem proving
Wolfgang Bibel
Buy from £45.86
|
Certified Programming with...
Adam Chlipala
Buy from £47.08
|
Isabelle a generic theorem...
Paulson
Buy from £46.97
|
A Computational Logic Handbook
Robert S Boyer,
J Strother Moore
Buy from £59.55
eBook from £58.69
|
Automation of Reasoning 2:...
Jorg H Siekmann
Buy from £87.48
|
Implementing Mathematics with...
R L Constable
Buy from £15.60
|
First-Order Logic and...
Melvin Fitting
Buy from £55.60
|
Automated Development of...
Art Quaife
Buy from £187.87
|
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. Shostak (Editor)
Buy from £9.66
|
Handbook of Automated...
J Alan Robinson (Editor),
Andrei Voronkov (Editor)
Buy from £95.66
|
Diagrammatic Reasoning:...
Janice Glasgow (Editor),
N Hari Narayanan (Editor)
Buy from £7.54
|
Ontic: A Knowledge...
David A McAllester
Buy from £13.96
|
Gems of Theoretical Computer...
Uwe Schoning,
Randall J Pruim
Buy from £70.07
|
Logic for Computer Science:...
Jean H Gallier
Buy from £17.70
|
A Computational Logic
Robert S Boyer
Buy from £25.47
eBook from £58.69
|
Px: A Computational Logic
Susumu Hayashi,
Hiroshi Nakano
Buy from £29.22
|
Automated Theorem Proving: A...
Donald W Loveland
Buy from £100.75
eBook from £58.69
|
Principles of Automated...
David A Duffy
Buy from £54.70
|
