Automated Technology for...
S. Akshay (Editor),
Aina Niemetz (Editor)
Buy new from $131.50
eBook from $38.70
|
Automated Technology for...
S. Akshay (Editor),
Aina Niemetz (Editor)
Buy new from $159.69
eBook from $47.70
|
Automated Deduction - CADE 29...
Brigitte Pientka (Editor),
Cesare Tinelli (Editor)
Buy new from $111.35
|
Automated Technology for...
Ahmed Bouajjani (Editor),
Lukás Holík (Editor)
Buy new from $79.83
eBook from $25.50
|
Certified Programming with...
Adam Chlipala
Buy new from $68.44
|
Automated Technology for...
Zhe Hou (Editor),
Vijay Ganesh (Editor)
Buy new from $79.83
eBook from $25.50
|
Artificial Intelligence and...
Jacques Fleuriot (Editor),
Dongming Wang (Editor)
Buy new from $51.65
eBook from $16.50
|
The Little Prover
Daniel P Friedman,
Carl Eastlund
Buy new from $46.85
|
First-Order Logic and...
Melvin Fitting
Buy new from $93.93
|
Automated Theorem Proving:...
Monty Newborn
Buy new from $122.11
|
Methods of Cut-Elimination
Matthias Baaz,
Alexander Leitsch
Buy new from $103.32
|
Automated Reasoning: Essays...
Robert Stephen Boyer (Editor)
Buy new from $103.32
|
A Proof Theory for General...
W Snyder
Buy new from $51.65
|
A Combination of Geometry...
Jacques Fleuriot
Buy new from $103.32
|
Automated Technology for...
Madhavan Mukund (Editor),
Supratik Chakraborty (Editor)
Buy new from $51.65
eBook from $16.50
|
Automated Reasoning: 6th...
Bernhard Gramlich (Editor),
Dale Miller (Editor)
Buy new from $51.65
eBook from $16.50
|
Automation of Reasoning: 2:...
J Siekmann (Editor),
G Wrightson (Editor)
Buy new from $103.32
|
Verifying Temporal Properties...
J C Bradfield
Buy new from $51.65
|
Implementing Mathematics with...
R L Constable
Buy new from $10.38
|
Computational Logic:...
J W Lloyd (Editor)
Buy new from $103.32
|
Theorem Proving with the Real...
John Harrison
Buy new from $103.32
|
Resolution Proof Systems: An...
Z Stachniak
Buy new from $103.32
|
Automated Mathematical...
Hantao Zhang (Editor)
Buy new from $103.32
|
Deduction Systems
Rolf Socher-Ambrosius,
Patricia Johann
Buy new from $51.65
|
