Automated Technology for...
Étienne André (Editor),
Jun Sun (Editor)
Buy from $77.61
eBook from $27.00
|
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.03
eBook from $25.50
|
Certified Programming with...
Adam Chlipala
Buy from $38.05
|
Automated Technology for...
Zhe Hou (Editor),
Vijay Ganesh (Editor)
Buy from $79.03
eBook from $25.50
|
The Little Prover
Daniel P Friedman,
Carl Eastlund
Buy from $27.87
|
First-Order Logic and...
Melvin Fitting
Buy from $93.93
|
Automated Reasoning: Essays...
Robert Stephen Boyer (Editor)
Buy from $103.32
|
A Proof Theory for General...
W Snyder
Buy from $51.65
|
A Combination of Geometry...
Jacques Fleuriot
Buy from $103.32
|
Automated Technology for...
Madhavan Mukund (Editor),
Supratik Chakraborty (Editor)
Buy from $51.65
eBook from $16.50
|
Automated Reasoning: 6th...
Bernhard Gramlich (Editor),
Dale Miller (Editor)
Buy from $51.65
eBook from $16.50
|
Automation of Reasoning: 2:...
J Siekmann (Editor),
G Wrightson (Editor)
Buy from $101.73
|
Verifying Temporal Properties...
J C Bradfield
Buy from $51.65
|
Implementing Mathematics with...
R L Constable
Buy from $10.38
|
Deduction Systems
Rolf Socher-Ambrosius,
Patricia Johann
Buy from $51.65
|
Extensional Constructs in...
Martin Hofmann
Buy from $150.29
|
The Resolution Calculus
Alexander Leitsch
Buy from $51.65
|
Automated Deduction in...
Franz Winkler (Editor)
Buy from $48.25
|
Mechanical Geometry Theorem...
Shang-Ching Chou
Buy from $69.33
|
Diagrammatic Representation...
Michael Anderson (Editor),
Dr. Bernd Meyer (Editor)
Buy from $72.61
eBook from $47.70
|
Automated Deduction in...
Jürgen Richter-Gebert (Editor),
Dongming Wang (Editor)
Buy from $42.30
|
Theorem Proving in Higher...
Richard J Boulton (Editor),
Paul B Jackson (Editor)
Buy from $28.92
eBook from $16.50
|
Automated Reasoning: First...
Rajeev Gore (Editor),
Alexander Leitsch (Editor)
Buy from $40.05
|
