The Little Prover
Daniel P Friedman,
Carl Eastlund
Buy new from $55.11
eBook from $28.99
|
Handbook of Automated...
Alan Robinson (Editor),
A Voronkov
Buy new from $226.15
eBook from $505.00
|
Artificial Intelligence and...
Jacques Fleuriot (Editor),
Dongming Wang (Editor)
Buy new from $45.42
eBook from $16.50
|
Interactive Theorem Proving:...
Marko Van Eekelen (Editor),
Herman Geuvers (Editor)
Buy new from $60.65
eBook from $16.50
|
Automated Theorem Proving:...
Monty Newborn
Buy new from $94.51
eBook from $35.70
|
Handbook of Tableau Methods
M. D'Agostino (Editor),
Dov M. Gabbay (Editor)
Buy new from $160.13
eBook from $62.70
|
Theoretical and Practical...
Dennis Dams (Editor),
Robert Gerth (Editor)
Buy new from $45.55
eBook from $16.50
|
Diagrammatic Representation...
Michael Anderson (Editor),
Dr. Bernd Meyer (Editor)
Buy new from $122.94
eBook from $47.70
|
Methods of Cut-Elimination
Matthias Baaz,
Alexander Leitsch
Buy new from $80.83
eBook from $29.70
|
Theorem Proving in Higher...
Mark D Aagaard (Editor),
John Harrison (Editor)
Buy new from $50.13
eBook from $16.50
|
Thirty Five Years of...
F D Kamareddine (Editor)
Buy new from $81.38
eBook from $29.70
|
Logic Programming and...
Harald Ganzinger (Editor),
David McAllester (Editor)
Buy new from $60.65
eBook from $16.50
|
Automated Deduction in...
Thomas Sturm (Editor),
Christoph Zengler (Editor)
Buy new from $60.65
eBook from $16.50
|
Automated Technology for...
S. Akshay (Editor),
Aina Niemetz (Editor)
Buy new from $102.71
eBook from $38.70
|
Automated Technology for...
Zhe Hou (Editor),
Vijay Ganesh (Editor)
Buy new from $65.51
eBook from $25.50
|
Automated Technology for...
Ahmed Bouajjani (Editor),
Lukßs Hol?k (Editor)
Buy new from $66.61
eBook from $25.50
|
Logic for Programming,...
Edmund M. Clarke, Jr. (Editor),
Andrei Voronkov (Editor)
Buy new from $50.33
eBook from $16.50
|
Logic for Computer Science:...
Jean Gallier
Buy new from $29.06
eBook from $32.95
|
Theorem Proving in Higher...
Richard J Boulton (Editor),
Paul B Jackson (Editor)
Buy new from $60.65
eBook from $16.50
|
Automated Technology for...
?tienne Andr? (Editor),
Jun Sun (Editor)
Buy new from $57.61
eBook from $25.50
|
Automated Deduction - Cade-17...
David McAllester (Editor)
Buy new from $50.27
eBook from $16.50
|
Automated Reasoning: 7th...
St?phane Demri (Editor),
Deepak Kapur (Editor)
Buy new from $50.88
eBook from $16.50
|
Automated Deduction in...
Xiao-Lu Gao (Editor),
Dongming Wang (Editor)
Buy new from $60.65
eBook from $16.50
|
Automated Technology for...
Madhavan Mukund (Editor),
Supratik Chakraborty (Editor)
Buy new from $48.83
eBook from $16.50
|
