Artificial Intelligence and...
Jacques Fleuriot (Editor),
Dongming Wang (Editor)
Buy from $51.65
eBook from $16.50
|
A Computational Logic Handbook
Robert S Boyer,
J Strother Moore
Buy from $45.48
eBook from $72.95
|
Automated Theorem Proving:...
Monty Newborn
Buy from $71.10
eBook from $35.70
|
Handbook of Automated...
Alan Robinson (Editor),
A Voronkov
Buy from $430.13
eBook from $505.00
|
A Many-Sorted Calculus Based...
Christoph Walther
Buy from $18.89
eBook from $31.95
|
Methods of Cut-Elimination
Matthias Baaz,
Alexander Leitsch
Buy from $103.32
eBook from $29.70
|
Thirty Five Years of...
F D Kamareddine (Editor)
Buy from $48.63
eBook from $29.70
|
Diagrammatic Representation...
Michael Anderson (Editor),
Dr. Bernd Meyer (Editor)
Buy from $72.40
eBook from $47.70
|
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.63
eBook from $16.50
|
Formalized Probability Theory...
Osman Hasan,
Sofi?ne Tahar
Buy from $190.55
eBook from $195.00
|
Automated Deduction in...
Xiao-Lu Gao (Editor),
Dongming Wang (Editor)
Buy from $34.87
eBook from $16.50
|
Automated Technology for...
Ahmed Bouajjani (Editor),
Lukßs Hol?k (Editor)
Buy from $79.84
eBook from $25.50
|
Theorem Proving in Higher...
Richard J Boulton (Editor),
Paul B Jackson (Editor)
Buy from $29.49
eBook from $16.50
|
Logic for Programming,...
Edmund M. Clarke, Jr. (Editor),
Andrei Voronkov (Editor)
Buy from $46.74
eBook from $16.50
|
A Combination of Geometry...
Jacques Fleuriot
Buy from $87.89
eBook from $29.70
|
Automated Technology for...
?tienne Andr? (Editor),
Jun Sun (Editor)
Buy from $32.73
eBook from $25.50
|
Automated Technology for...
Zhe Hou (Editor),
Vijay Ganesh (Editor)
Buy from $79.03
eBook from $25.50
|
Logic Programming and...
Harald Ganzinger (Editor),
David McAllester (Editor)
Buy from $7.87
eBook from $16.50
|
Automated Technology for...
S. Akshay (Editor),
Aina Niemetz (Editor)
Buy from $131.50
eBook from $38.70
|
Automated Theorem Proving: A...
Donald W Loveland
Buy from $113.50
eBook from $72.95
|
A Computational Logic
Robert S Boyer
Buy from $17.28
eBook from $72.95
|
Higher Order Logic Theorem...
Luc J M Claesen
Buy from $124.95
eBook from $200.00
|
