Automated Deduction in...
Franz Winkler (Editor)
Buy from $51.65
|
Thirty Five Years of...
F D Kamareddine (Editor)
Buy from $61.50
eBook from $29.70
|
Mechanical Geometry Theorem...
Shang-Ching Chou
Buy from $68.83
|
Diagrammatic Representation...
Michael Anderson (Editor),
Dr. Bernd Meyer (Editor)
Buy from $72.40
eBook from $47.70
|
Automated Deduction in...
Jürgen Richter-Gebert (Editor),
Dongming Wang (Editor)
Buy from $42.32
|
Theorem Proving in Higher...
Richard J Boulton (Editor),
Paul B Jackson (Editor)
Buy from $29.78
eBook from $16.50
|
Handbook of Automated...
J Alan Robinson (Editor),
Andrei Voronkov (Editor)
Buy from $221.01
|
Handbook of Automated...
Alan Robinson (Editor),
A Voronkov
Buy from $428.73
eBook from $505.00
|
A Combination of Geometry...
Jacques Fleuriot
Buy from $92.35
eBook from $29.70
|
Automated Reasoning: First...
Rajeev Gore (Editor),
Alexander Leitsch (Editor)
Buy from $49.77
|
Mathematics Mechanization:...
Wu Wen-Tsun
Buy from $101.18
|
Automated Theorem Proving:...
Monty Newborn
Buy from $72.16
eBook from $35.70
|
Logic for Programming and...
Michel Parigot (Editor),
Andrei Voronkov (Editor)
Buy from $27.19
|
Theorem Proving in Higher...
Mark D Aagaard (Editor),
John Harrison (Editor)
Buy from $4.99
eBook from $16.50
|
Automated Deduction - Cade-17...
David McAllester (Editor)
Buy from $7.60
eBook from $16.50
|
Automated Reasoning with...
Roy Dyckhoff (Editor)
Buy from $5.00
|
Automated Deduction in...
Ricardo Caferra (Editor),
Gernot Salzer (Editor)
Buy from $48.40
|
Automated Deduction in...
Xiao-Lu Gao (Editor),
Dongming Wang (Editor)
Buy from $34.87
eBook from $16.50
|
The Efficiency of Theorem...
David A Plaisted,
Wolfgang Bibel (Editor)
Buy from $21.05
eBook from $16.50
|
Types for Proofs and Programs...
Thorsten Altenkirch (Editor),
Wolfgang Naraschewski (Editor)
Buy from $33.67
|
Theorem Proving in Higher...
Yves Bertot (Editor),
Gilles Dowek (Editor)
Buy from $5.00
|
Theoretical and Practical...
Dennis Dams (Editor),
Robert Gerth (Editor)
Buy from $9.44
eBook from $16.50
|
Mathematical Reasoning with...
Mateja Jamnik
Buy from $22.99
|
Mathematical Reasoning with...
Mateja Jamnik
Buy from $15.72
|
