Automated Deduction - CADE 29...
Brigitte Pientka (Editor),
Cesare Tinelli (Editor)
Buy from $43.94
|
Automated Technology for...
Ahmed Bouajjani (Editor),
Lukás Holík (Editor)
Buy from $79.84
eBook from $25.50
|
Automated Reasoning: 11th...
Jasmin Blanchette (Editor),
Laura Kovács (Editor)
Buy from $46.96
|
Certified Programming with...
Adam Chlipala
Buy from $68.43
|
Automated Technology for...
Zhe Hou (Editor),
Vijay Ganesh (Editor)
Buy from $79.03
eBook from $25.50
|
Artificial Intelligence and...
Jacques Fleuriot (Editor),
Dongming Wang (Editor)
Buy from $51.12
eBook from $16.50
|
The Little Prover
Daniel P Friedman,
Carl Eastlund
Buy from $29.01
|
Formalized Probability Theory...
Osman Hasan,
Sofične Tahar
Buy from $196.27
eBook from $195.00
|
Certified Programming with...
Adam Chlipala
Buy from $57.54
|
First-Order Logic and...
Melvin Fitting
Buy from $93.93
|
Automated Theorem Proving:...
Monty Newborn
Buy from $122.11
|
Methods of Cut-Elimination
Matthias Baaz,
Alexander Leitsch
Buy from $103.32
|
Automated Reasoning: Essays...
Robert Stephen Boyer (Editor)
Buy from $103.32
|
A Combination of Geometry...
Jacques Fleuriot
Buy from $103.32
|
A Proof Theory for General...
W Snyder
Buy from $51.65
|
Automated Technology for...
Madhavan Mukund (Editor),
Supratik Chakraborty (Editor)
Buy from $51.64
eBook from $16.50
|
Automated Reasoning: 6th...
Bernhard Gramlich (Editor),
Dale Miller (Editor)
Buy from $40.57
eBook from $16.50
|
Automation of Reasoning: 2:...
J Siekmann (Editor),
G Wrightson (Editor)
Buy from $47.18
|
Verifying Temporal Properties...
J C Bradfield
Buy from $51.65
|
Implementing Mathematics with...
R L Constable
Buy from $10.38
|
Computational Logic:...
J W Lloyd (Editor)
Buy from $103.32
|
Theorem Proving with the Real...
John Harrison
Buy from $50.31
|
Resolution Proof Systems: An...
Z Stachniak
Buy from $103.32
|
