Automated Theorem Proving
Wolfgang Bibel
Buy from £81.92
|
8th International Conference...
Jörg H. Siekmann (Editor)
Buy from £48.97
|
7th International Conference...
R E Shostak (Editor)
Buy from £9.73
|
Automation of Reasoning: 2:...
Jorg Siekmann (Editor),
G Wrightson (Editor)
Buy from £88.18
|
Automated Theorem Proving
Wolfgang Bibel
Buy from £46.19
|
Using Sophisticated Models in...
David M Sandford
Buy from £17.98
|
Symbolic Logic and Mechanical...
Chin-Liang Chang,
Richard Char Lee
Buy from £96.20
|
Symbolic Logic and Mechanical...
Chin-Liang Chang,
Richard Char-Tung Lee
Buy from £14.93
|
Implementing Mathematics with...
R L Constable
Buy from £35.20
|
8th International Conference...
Jorg H Siekmann
Buy from £14.25
|
Logic for Computer Science:...
Jean H Gallier
Buy from £21.74
|
7th International Conference...
R. Shostak (Editor)
Buy from £22.66
|
Automated Reasoning:...
Larry Wos
Buy from £16.21
|
Automated Reasoning:...
Larry Wos
Buy from £12.95
|
Automated Theorem Proving:...
W. W. Bledsoe (Editor),
Donald Loveland (Editor)
Buy from £15.40
|
Automation of Reasoning 1:...
Jorg H Siekmann
Buy from £32.55
|
6th Conference on Automated...
Donald W Loveland
Buy from £13.05
|
Knowledge Based Theorem...
Donald N. Cohen
Buy from £10.85
|
Using Sophisticated Models in...
David M Sandford
Buy from £9.68
|
A Computational Logic
Robert S Boyer
Buy from £24.95
eBook from £59.11
|
