Certified Programming with...
Adam Chlipala
Buy from $38.16
|
Symbolic Logic and Mechanical...
Chin-Liang Chang,
Richard Char-Tung Lee
Buy from $10.95
|
The Little Prover
Daniel P Friedman,
Carl Eastlund
Buy from $30.06
|
Artificial Intelligence and...
Jacques Fleuriot (Editor),
Dongming Wang (Editor)
Buy from $51.65
eBook from $16.50
|
Automated theorem proving
Wolfgang Bibel
Buy from $50.00
|
First-Order Logic and...
Melvin Fitting
Buy from $75.97
|
Implementing Mathematics with...
R L Constable
Buy from $10.38
|
A Computational Logic Handbook
Robert S Boyer,
J Strother Moore
Buy from $67.01
eBook from $72.95
|
Automated Development of...
Art Quaife
Buy from $224.52
|
Automation of Reasoning 2:...
Jorg H Siekmann
Buy from $101.73
|
Automated Deduction in...
Ricardo Caferra (Editor),
Gernot Salzer (Editor)
Buy from $39.44
|
Automated Reasoning with...
Didier Galmiche (Editor)
Buy from $51.65
|
7th International Conference...
R. Shostak (Editor)
Buy from $4.95
|
Handbook of Automated...
J Alan Robinson (Editor),
Andrei Voronkov (Editor)
Buy from $129.75
|
Ontic: A Knowledge...
David A McAllester
Buy from $25.00
|
Gems of Theoretical Computer...
Uwe Schoning,
Randall J Pruim
Buy from $50.33
|
Diagrammatic Reasoning:...
Janice Glasgow (Editor),
N Hari Narayanan (Editor)
Buy from $2.36
|
Isabelle a generic theorem...
Paulson
Buy from $51.38
|
Logic for Computer Science:...
Jean H Gallier
Buy from $15.00
|
Px: A Computational Logic
Susumu Hayashi,
Hiroshi Nakano
Buy from $55.00
|
A Computational Logic
Robert S Boyer
Buy from $23.25
|
Principles of Automated...
David A Duffy
Buy from $109.16
|
Automated Reasoning:...
Larry Wos
Buy from $3.68
|
