Automated Technology for...
S. Akshay (Editor),
Aina Niemetz (Editor)
Buy from £135.72
eBook from £38.38
|
Automated Technology for...
Étienne André (Editor),
Jun Sun (Editor)
Buy from £60.74
eBook from £21.73
|
Automated Technology for...
Zhe Hou (Editor),
Vijay Ganesh (Editor)
Buy from £63.45
eBook from £20.52
|
Automated Reasoning: 6th...
Bernhard Gramlich (Editor),
Dale Miller (Editor)
Buy from £48.80
eBook from £13.28
|
Methods of Cut-Elimination
Matthias Baaz,
Alexander Leitsch
Buy from £90.37
eBook from £23.90
|
Logic for Programming,...
Edmund M. Clarke, Jr. (Editor),
Andrei Voronkov (Editor)
Buy from £43.24
eBook from £13.28
|
Thirty Five Years of...
F D Kamareddine (Editor)
Buy from £55.11
eBook from £23.90
|
Diagrammatic Representation...
Michael Anderson (Editor),
Dr. Bernd Meyer (Editor)
Buy from £62.41
eBook from £38.38
|
Theorem Proving in Higher...
Richard J Boulton (Editor),
Paul B Jackson (Editor)
Buy from £29.33
eBook from £13.28
|
Handbook of Automated...
Alan Robinson (Editor),
A Voronkov
Buy from £350.55
eBook from £406.28
|
A Combination of Geometry...
Jacques Fleuriot
Buy from £66.26
eBook from £23.90
|
Automated Theorem Proving:...
Monty Newborn
Buy from £63.27
eBook from £28.73
|
Theorem Proving in Higher...
Mark D Aagaard (Editor),
John Harrison (Editor)
Buy from £10.05
eBook from £13.28
|
Automated Deduction - Cade-17...
David McAllester (Editor)
Buy from £11.74
eBook from £13.28
|
The Efficiency of Theorem...
David A Plaisted,
Wolfgang Bibel (Editor)
Buy from £28.00
eBook from £13.28
|
Automated Deduction in...
Xiao-Lu Gao (Editor),
Dongming Wang (Editor)
Buy from £33.69
eBook from £13.28
|
Theoretical and Practical...
Dennis Dams (Editor),
Robert Gerth (Editor)
Buy from £13.22
eBook from £13.28
|
Logic Programming and...
Harald Ganzinger (Editor),
David McAllester (Editor)
Buy from £11.94
eBook from £13.28
|
Automated Deduction - Cade-14...
William McCune (Editor)
Buy from £11.86
eBook from £13.28
|
Higher Order Logic Theorem...
Luc J M Claesen
Buy from £106.16
eBook from £160.90
|
A Many-Sorted Calculus Based...
Christoph Walther
Buy from £19.82
eBook from £25.71
|
A Computational Logic
Robert S Boyer
Buy from £25.58
eBook from £58.69
|
Automated Theorem Proving: A...
Donald W Loveland
Buy from £100.75
eBook from £58.69
|
