Automated Technology for...
Étienne André (Editor),
Jun Sun (Editor)
Buy from $32.73
eBook from $27.00
|
Automated Deduction - CADE 29...
Brigitte Pientka (Editor),
Cesare Tinelli (Editor)
Buy from $43.94
|
Certified Programming with...
Adam Chlipala
Buy from $65.02
|
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 $26.41
|
Certified Programming with...
Adam Chlipala
Buy from $76.50
|
First-Order Logic and...
Melvin Fitting
Buy from $93.93
|
Automated Theorem Proving:...
Monty Newborn
Buy from $122.11
|
A Proof Theory for General...
W Snyder
Buy from $51.65
|
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
|
Theorem Proving with the Real...
John Harrison
Buy from $87.33
|
Automated Mathematical...
Hantao Zhang (Editor)
Buy from $100.15
|
Deduction Systems
Rolf Socher-Ambrosius,
Patricia Johann
Buy from $51.65
|
The Resolution Calculus
Alexander Leitsch
Buy from $51.65
|
Methods of Cut-Elimination
Matthias Baaz,
Alexander Leitsch
Buy from $103.32
eBook from $29.70
|
Logic for Programming,...
Edmund M. Clarke, Jr. (Editor),
Andrei Voronkov (Editor)
Buy from $46.74
eBook from $16.50
|
Automated Deduction - A Basis...
Wolfgang Bibel (Editor),
P.H. Schmitt (Editor)
Buy from $119.20
|
Rippling: Meta-Level Guidance...
Alan Bundy,
David Basin
Buy from $15.00
|
Automated Deduction in...
Franz Winkler (Editor)
Buy from $51.65
|
Thirty Five Years of...
F D Kamareddine (Editor)
Buy from $48.63
eBook from $29.70
|
