Automated Theorem Proving
Wolfgang Bibel
Buy from £81.13
|
8th International Conference...
Jörg H. Siekmann (Editor)
Buy from £48.50
|
7th International Conference...
R E Shostak (Editor)
Buy from £9.63
|
Automation of Reasoning: 2:...
Jorg Siekmann (Editor),
G Wrightson (Editor)
Buy from £87.32
|
Automated Theorem Proving
Wolfgang Bibel
Buy from £45.74
|
Using Sophisticated Models in...
David M Sandford
Buy from £17.80
|
Symbolic Logic and Mechanical...
Chin-Liang Chang,
Richard Char Lee
Buy from £95.26
|
Symbolic Logic and Mechanical...
Chin-Liang Chang,
Richard Char-Tung Lee
Buy from £15.02
|
Implementing Mathematics with...
R L Constable
Buy from £36.12
|
8th International Conference...
Jorg H Siekmann
Buy from £14.20
|
Logic for Computer Science:...
Jean H Gallier
Buy from £21.53
|
7th International Conference...
R. Shostak (Editor)
Buy from £22.44
|
Automated Reasoning:...
Larry Wos
Buy from £16.05
|
Automated Reasoning:...
Larry Wos
Buy from £9.62
|
Automated Theorem Proving:...
W. W. Bledsoe (Editor),
Donald Loveland (Editor)
Buy from £15.25
|
Automation of Reasoning 1:...
Jorg H Siekmann
Buy from £32.26
|
6th Conference on Automated...
Donald W Loveland
Buy from £12.92
|
Knowledge Based Theorem...
Donald N. Cohen
Buy from £10.75
|
Using Sophisticated Models in...
David M Sandford
Buy from £9.60
|
A Computational Logic
Robert S Boyer
Buy from £25.22
eBook from £58.53
|
Automated Theorem Proving: A...
Donald W Loveland
Buy from £100.48
eBook from £58.53
|
