Automated Technology for...
Étienne André (Editor),
Jun Sun (Editor)
Buy from $83.94
eBook from $27.00
|
Automated Deduction - CADE 29...
Brigitte Pientka (Editor),
Cesare Tinelli (Editor)
Buy from $50.94
|
Certified Programming with...
Adam Chlipala
Buy from $71.47
|
The Little Prover
Daniel P Friedman,
Carl Eastlund
Buy from $46.57
|
First-Order Logic and...
Melvin Fitting
Buy from $102.93
|
Methods of Cut-Elimination
Matthias Baaz,
Alexander Leitsch
Buy from $112.32
|
Automated Reasoning: Essays...
Robert Stephen Boyer (Editor)
Buy from $112.32
|
A Proof Theory for General...
W Snyder
Buy from $60.65
|
Automated Technology for...
Madhavan Mukund (Editor),
Supratik Chakraborty (Editor)
Buy from $60.65
eBook from $16.50
|
Automated Reasoning: 6th...
Bernhard Gramlich (Editor),
Dale Miller (Editor)
Buy from $60.65
eBook from $16.50
|
Automation of Reasoning: 2:...
J Siekmann (Editor),
G Wrightson (Editor)
Buy from $108.73
|
Verifying Temporal Properties...
J C Bradfield
Buy from $60.65
|
Implementing Mathematics with...
R L Constable
Buy from $19.38
|
Theorem Proving with the Real...
John Harrison
Buy from $94.33
|
Automated Mathematical...
Hantao Zhang (Editor)
Buy from $107.15
|
Gems of Theoretical Computer...
Uwe Schöning,
Randall J Pruim
Buy from $128.12
|
Deduction Systems
Rolf Socher-Ambrosius,
Patricia Johann
Buy from $60.65
|
The Resolution Calculus
Alexander Leitsch
Buy from $60.65
|
Logic for Programming,...
Edmund M. Clarke, Jr. (Editor),
Andrei Voronkov (Editor)
Buy from $53.74
eBook from $16.50
|
Automated Deduction - A Basis...
Wolfgang Bibel (Editor),
P.H. Schmitt (Editor)
Buy from $126.20
|
Automated Deduction in...
Franz Winkler (Editor)
Buy from $55.25
|
Mechanical Geometry Theorem...
Shang-Ching Chou
Buy from $75.83
|
Diagrammatic Representation...
Michael Anderson (Editor),
Dr. Bernd Meyer (Editor)
Buy from $78.17
eBook from $47.70
|
Mathematical Reasoning with...
Mateja Jamnik
Buy from $33.12
|
