Certified Programming with...
Adam Chlipala
Buy new from £58.50
|
Symbolic Logic and Mechanical...
Chin-Liang Chang,
Richard Char-Tung Lee
Buy new from £62.73
|
The Little Prover
Daniel P Friedman,
Carl Eastlund
Buy new from £35.67
|
Automation of Reasoning 2:...
Jorg H Siekmann
Buy new from £92.14
|
Artificial Intelligence and...
Jacques Fleuriot (Editor),
Dongming Wang (Editor)
Buy new from £49.76
eBook from £13.54
|
Automated Development of...
Art Quaife
Buy new from £191.56
|
Implementing Mathematics with...
R L Constable
Buy new from £15.90
|
First-Order Logic and...
Melvin Fitting
Buy new from £82.39
|
A Computational Logic Handbook
Robert S Boyer,
J Strother Moore
Buy new from £96.18
eBook from £59.85
|
Automated theorem proving
Wolfgang Bibel
Buy new from £61.32
|
Automated Deduction in...
Ricardo Caferra (Editor),
Gernot Salzer (Editor)
Buy new from £38.10
|
Automated Reasoning with...
Didier Galmiche (Editor)
Buy new from £49.66
|
7th International Conference...
R. Shostak (Editor)
Buy new from £92.14
|
Gems of Theoretical Computer...
Uwe Schoning,
Randall J Pruim
Buy new from £107.55
|
Diagrammatic Reasoning:...
Janice Glasgow (Editor),
N Hari Narayanan (Editor)
Buy new from £49.31
|
Isabelle a generic theorem...
Paulson
Buy new from £48.50
|
Automated Deduction in...
William McCune,
R Padmanabhan
Buy new from £49.66
|
Types for Proofs and Programs...
Henk Barendregt (Editor),
Tobias Nipkow (Editor)
Buy new from £49.69
|
Automated Theorem Proving:...
Monty Newborn
Buy new from £73.76
eBook from £29.29
|
Extensional Constructs in...
Martin Hofmann
Buy new from £130.67
|
The Automation of Reasoning:...
Larry Wos
Buy new from £101.12
|
Logic for Computer Science:...
Jean H Gallier
Buy new from £48.60
|
A Computational Logic
Robert S Boyer
Buy new from £252.99
eBook from £59.85
|
Automated Reasoning:...
Larry Wos
Buy new from £23.24
|
