Symbolic Logic and Mechanical...
Chin-Liang Chang,
Richard Char-Tung Lee
Buy from $11.89
|
First-Order Logic and...
Melvin Fitting
Buy from $129.33
|
Automated Development of...
Art Quaife
Buy from $222.38
|
Automated Deduction - A Basis...
Wolfgang Bibel (Editor),
P H Schmitt (Editor)
Buy from $204.58
|
Certified Programming with...
Adam Chlipala
Buy from $76.50
|
Handbook of Automated...
J Alan Robinson (Editor),
Andrei Voronkov (Editor)
Buy from $193.49
|
Ontic: A Knowledge...
David A McAllester
Buy from $25.00
|
Gems of Theoretical Computer...
Uwe Schoning,
Randall J Pruim
Buy from $80.32
|
The Automation of Reasoning:...
Larry Wos
Buy from $99.82
|
Computational Logic: Essays...
Gordon Plotkin (Editor)
Buy from $16.42
|
Logical Frameworks
Gerard Huet (Editor),
G Plotkin (Editor)
Buy from $60.00
|
Mechanical Geometry Theorem...
Shang-Ching Chou
Buy from $84.26
|
A Proof Theory for General...
W Snyder
Buy from $51.65
|
Methods of Cut-Elimination
Matthias Baaz,
Alexander Leitsch
Buy from $103.32
eBook from $29.70
|
Rippling: Meta-Level Guidance...
Alan Bundy,
David Basin
Buy from $15.00
|
Px: A Computational Logic
Susumu Hayashi,
Hiroshi Nakano
Buy from $25.19
|
Principles of Automated...
David A Duffy
Buy from $60.99
|
A Computational Logic
Robert S Boyer
Buy from $17.28
eBook from $72.95
|
Automated Theorem Proving: A...
Donald W Loveland
Buy from $113.50
eBook from $72.95
|
Logic for Computer Science:...
Jean H Gallier
Buy from $24.87
|
Autologic
Neil Tennant
Buy from $35.54
|
Analogy for Automated...
Stephen Owen
Buy from $48.31
|
Automation of Reasoning 1:...
Jorg H Siekmann
Buy from $33.39
|
Implementing Mathematics with...
R L Constable
Buy from $6.97
|
