Types for Proofs and Programs...
Henk Barendregt (Editor),
Tobias Nipkow (Editor)
Buy from $4.99
|
Certified Programming with...
Adam Chlipala
Buy from $59.95
|
The Little Prover
Daniel P Friedman,
Carl Eastlund
Buy from $27.81
|
Artificial Intelligence and...
Jacques Fleuriot (Editor),
Dongming Wang (Editor)
Buy from $51.65
eBook from $16.50
|
Automated Development of...
Art Quaife
Buy from $204.58
|
Automated Theorem Proving:...
Monty Newborn
Buy from $117.04
eBook from $35.70
|
Handbook of Automated...
J Alan Robinson (Editor),
Andrei Voronkov (Editor)
Buy from $150.00
|
Symbolic Logic and Mechanical...
Chin-Liang Chang,
Richard Char-Tung Lee
Buy from $9.82
|
First-Order Logic and...
Melvin Fitting
Buy from $93.92
|
Introduction to Hol: A...
M J C Gordon (Editor),
T F Melham (Editor)
Buy from $43.30
|
Implementing Mathematics with...
R L Constable
Buy from $6.99
|
Automated Deduction - A Basis...
Wolfgang Bibel (Editor),
P H Schmitt (Editor)
Buy from $40.45
|
Computational Logic and Proof...
Georg Gottlob (Editor),
Alexander Leitsch (Editor)
Buy from $51.12
|
Automation of Reasoning 2:...
Jorg H Siekmann
Buy from $62.61
|
A Computational Logic Handbook
Robert S Boyer,
J Strother Moore
Buy from $6.15
eBook from $72.95
|
Diagrammatic Reasoning:...
Janice Glasgow (Editor),
N Hari Narayanan (Editor)
Buy from $6.37
|
Automated Reasoning with...
Didier Galmiche (Editor)
Buy from $51.64
|
Automated Deduction in...
William McCune,
R Padmanabhan
Buy from $27.58
|
Gems of Theoretical Computer...
Uwe Schoning,
Randall J Pruim
Buy from $111.34
|
A Computational Logic
Robert S Boyer
Buy from $56.13
eBook from $72.95
|
Principles of Automated...
David A Duffy
Buy from $63.53
|
Logic for Computer Science:...
Jean H Gallier
Buy from $24.93
|
Automated Theorem Proving: A...
Donald W Loveland
Buy from $170.86
eBook from $72.95
|
Px: A Computational Logic
Susumu Hayashi,
Hiroshi Nakano
Buy from $49.26
|
