Certified Programming with...
Adam Chlipala
Buy new from $68.44
|
Isabelle a generic theorem...
Paulson
Buy new from $51.65
|
The Little Prover
Daniel P Friedman,
Carl Eastlund
Buy new from $54.05
|
Symbolic Logic and Mechanical...
Chin-Liang Chang,
Richard Char-Tung Lee
Buy new from $68.74
|
Automated Development of...
Art Quaife
Buy new from $224.51
|
Artificial Intelligence and...
Jacques Fleuriot (Editor),
Dongming Wang (Editor)
Buy new from $51.65
eBook from $16.50
|
Automation of Reasoning 2:...
Jorg H Siekmann
Buy new from $103.32
|
Implementing Mathematics with...
R L Constable
Buy new from $10.38
|
Computational Logic and Proof...
Georg Gottlob (Editor),
Alexander Leitsch (Editor)
Buy new from $51.65
|
Automated Deduction - A Basis...
Wolfgang Bibel (Editor),
P H Schmitt (Editor)
Buy new from $159.69
|
First-Order Logic and...
Melvin Fitting
Buy new from $93.93
|
Automated Reasoning with...
Didier Galmiche (Editor)
Buy new from $51.65
|
Handbook of Automated...
J Alan Robinson (Editor),
Andrei Voronkov (Editor)
Buy new from $331.66
|
Diagrammatic Reasoning:...
Janice Glasgow (Editor),
N Hari Narayanan (Editor)
Buy new from $74.17
|
Gems of Theoretical Computer...
Uwe Schoning,
Randall J Pruim
Buy new from $122.11
|
Automated Theorem Proving:...
Monty Newborn
Buy new from $71.10
eBook from $35.70
|
Extensional Constructs in...
Martin Hofmann
Buy new from $150.29
|
The Automation of Reasoning:...
Larry Wos
Buy new from $99.82
|
Types for Proofs and Programs...
Henk Barendregt (Editor),
Tobias Nipkow (Editor)
Buy new from $51.65
|
Logical Frameworks
Gerard Huet (Editor),
G Plotkin (Editor)
Buy new from $104.03
|
Types for Proofs and Programs...
Thorsten Altenkirch (Editor),
Wolfgang Naraschewski (Editor)
Buy new from $51.64
|
Automated Deduction - Cade-11...
Deepak Kapur
Buy new from $103.32
|
Logic for Computer Science:...
Jean H Gallier
Buy new from $74.97
|
A Computational Logic
Robert S Boyer
Buy new from $175.73
eBook from $72.95
|
