Certified Programming with...
Adam Chlipala
Buy new from $68.44
|
Symbolic Logic and Mechanical...
Chin-Liang Chang,
Richard Char-Tung Lee
Buy new from $83.21
|
The Little Prover
Daniel P Friedman,
Carl Eastlund
Buy new from $46.85
|
Implementing Mathematics with...
R L Constable
Buy new from $10.38
|
First-Order Logic and...
Melvin Fitting
Buy new from $93.93
|
Automation of Reasoning 2:...
Jorg H Siekmann
Buy new from $103.32
|
Artificial Intelligence and...
Jacques Fleuriot (Editor),
Dongming Wang (Editor)
Buy new from $51.65
eBook from $16.50
|
Automated theorem proving
Wolfgang Bibel
Buy new from $65.75
|
Automated Development of...
Art Quaife
Buy new from $224.52
|
Automated Deduction in...
Ricardo Caferra (Editor),
Gernot Salzer (Editor)
Buy new from $39.72
|
Automated Reasoning with...
Didier Galmiche (Editor)
Buy new from $51.65
|
7th International Conference...
R. Shostak (Editor)
Buy new from $103.32
|
Gems of Theoretical Computer...
Uwe Schoning,
Randall J Pruim
Buy new from $122.11
|
Diagrammatic Reasoning:...
Janice Glasgow (Editor),
N Hari Narayanan (Editor)
Buy new from $53.10
|
Isabelle a generic theorem...
Paulson
Buy new from $51.65
|
Automated Deduction in...
William McCune,
R Padmanabhan
Buy new from $51.65
|
Types for Proofs and Programs...
Henk Barendregt (Editor),
Tobias Nipkow (Editor)
Buy new from $51.65
|
Automated Theorem Proving:...
Monty Newborn
Buy new from $122.11
eBook from $35.70
|
Extensional Constructs in...
Martin Hofmann
Buy new from $150.29
|
Logic for Computer Science:...
Jean H Gallier
Buy new from $52.24
|
A Computational Logic
Robert S Boyer
Buy new from $301.41
eBook from $72.95
|
Principles of Automated...
David A Duffy
Buy new from $144.02
|
Automated Reasoning:...
Larry Wos
Buy new from $21.32
|
The Computer Modeling of...
Alan Bundy
Buy new from $41.89
|
