The Little Prover
Daniel P Friedman,
Carl Eastlund
Buy from $27.97
eBook from $28.99
|
Proof in VDM: Case Studies
Juan C Bicarregui (Editor)
Buy from $65.16
|
Symbolic Logic and Mechanical...
Chin-Liang Chang,
Richard Char-Tung Lee
Buy from $18.16
|
Certified Programming with...
Adam Chlipala
Buy from $68.44
|
Logical Frameworks
Gerard Huet (Editor),
G Plotkin (Editor)
Buy from $109.51
|
Isabelle a generic theorem...
Paulson
Buy from $51.65
|
Mathematics Mechanization:...
Wu Wen-Tsun
Buy from $101.18
|
Automated theorem proving
Wolfgang Bibel
Buy from $64.04
|
Automated Mathematical...
Hantao Zhang (Editor)
Buy from $79.11
|
First-Order Logic and...
Melvin Fitting
Buy from $93.00
|
Types for Proofs and Programs...
Henk Barendregt (Editor),
Tobias Nipkow (Editor)
Buy from $51.65
|
Implementing Mathematics with...
R L Constable
Buy from $10.38
|
Theory Reasoning in...
Peter Baumgartner
Buy from $51.65
|
Automated Development of...
Art Quaife
Buy from $188.94
|
Artificial Intelligence and...
Jacques Fleuriot (Editor),
Dongming Wang (Editor)
Buy from $51.65
eBook from $16.50
|
Automated Reasoning: First...
Rajeev Gore (Editor),
Alexander Leitsch (Editor)
Buy from $100.04
|
Theorem Proving in Higher...
Jim Grundy (Editor),
Malcolm Newey (Editor)
Buy from $51.65
|
Handbook of Automated...
J Alan Robinson (Editor),
Andrei Voronkov (Editor)
Buy from $222.57
|
Ontic: A Knowledge...
David A McAllester
Buy from $15.35
|
Diagrammatic Reasoning:...
Janice Glasgow (Editor),
N Hari Narayanan (Editor)
Buy from $112.56
|
Logic for Computer Science:...
Jean H Gallier
Buy from $23.52
|
Principles of Automated...
David A Duffy
Buy from $25.01
|
Mathematical Reasoning with...
Mateja Jamnik
Buy from $29.05
|
Px: A Computational Logic
Susumu Hayashi,
Hiroshi Nakano
Buy from $29.32
|
