Extensional Constructs in...
Martin Hofmann
Buy from £129.06
|
Deduction Systems
Rolf Socher-Ambrosius,
Patricia Johann
Buy from £49.14
|
Current Trends in Hardware...
Graham Birtwistle (Editor),
P a Subrahmanyam (Editor)
Buy from £91.01
|
The Resolution Calculus
Alexander Leitsch
Buy from £49.14
|
Logic for Programming,...
Edmund M. Clarke, Jr. (Editor),
Andrei Voronkov (Editor)
Buy from £43.55
eBook from £13.37
|
Automated Deduction - A Basis...
Wolfgang Bibel (Editor),
P.H. Schmitt (Editor)
Buy from £136.68
|
Automated Deduction - A Basis...
Wolfgang Bibel (Editor),
P.H. Schmitt (Editor)
Buy from £174.73
|
Automated Deduction - A Basis...
Wolfgang Bibel (Editor),
P.H. Schmitt (Editor)
Buy from £174.73
|
Automated Deduction in...
Franz Winkler (Editor)
Buy from £41.69
|
Proof Theory and Automated...
Jean Goubault-Larrecq,
I MacKie
Buy from £49.08
|
Mechanical Geometry Theorem...
Shang-Ching Chou
Buy from £61.85
|
Diagrammatic Representation...
Michael Anderson (Editor),
Dr. Bernd Meyer (Editor)
Buy from £85.28
eBook from £38.65
|
Automated Deduction in...
Jürgen Richter-Gebert (Editor),
Dongming Wang (Editor)
Buy from £39.95
|
Theorem Proving in Higher...
Richard J Boulton (Editor),
Paul B Jackson (Editor)
Buy from £29.11
eBook from £13.37
|
Automated Reasoning: First...
Rajeev Gore (Editor),
Alexander Leitsch (Editor)
Buy from £45.98
|
Logic for Programming and...
Michel Parigot (Editor),
Andrei Voronkov (Editor)
Buy from £23.91
|
Theorem Proving in Higher...
Mark D Aagaard (Editor),
John Harrison (Editor)
Buy from £10.12
eBook from £13.37
|
Automated Deduction - Cade-17...
David McAllester (Editor)
Buy from £34.73
eBook from £13.37
|
Automated Reasoning with...
Roy Dyckhoff (Editor)
Buy from £7.53
|
Automated Deduction in...
Ricardo Caferra (Editor),
Gernot Salzer (Editor)
Buy from £33.51
|
The Efficiency of Theorem...
David A Plaisted,
Wolfgang Bibel (Editor)
Buy from £28.20
eBook from £13.37
|
Automated Deduction in...
Xiao-Lu Gao (Editor),
Dongming Wang (Editor)
Buy from £33.93
eBook from £13.37
|
Types for Proofs and Programs...
Thorsten Altenkirch (Editor),
Wolfgang Naraschewski (Editor)
Buy from £32.96
|
Mathematical Reasoning with...
Mateja Jamnik
Buy from £28.89
|
