Computational Logic: Essays...
Gordon Plotkin (Editor)
Buy from £83.35
|
Logical Frameworks
Gerard Huet (Editor),
G Plotkin (Editor)
Buy from £91.46
|
Ivth Higher Order Workshop,...
G M Birtwistle
Buy from £10.58
|
Instantiation Theory
James G Williams
Buy from £47.54
|
The Programming and Proof...
A Puccetti
Buy from £25.99
|
The Programming and Proof...
Armand Puccetti (Editor),
D Brocard (Contributions by)
Buy from £90.88
|
Computational Logic:...
J W Lloyd
Buy from £23.86
|
Computational Logic:...
J W Lloyd (Editor)
Buy from £37.34
|
Nichttheoreme: Eine Logische...
Gert-Dietrich Döben
Buy from £107.52
|
Ontic: A Knowledge...
David A McAllester
Buy from £14.03
|
Communication Complexity: A...
Mauricio Karchmer
Buy from £16.58
|
Communication Complexity: A...
Mauricio Karchmer
Buy from £3.26
|
Geometric Reasoning
Deepak Kapur (Editor),
Joseph L Mundy (Editor)
Buy from £10.86
|
Current Trends in Hardware...
Graham Birtwistle (Editor),
P a Subrahmanyam (Editor)
Buy from £23.87
|
Deduction Systems in...
K H Blasius
Buy from £68.37
|
Automated Reasoning: 33 Basic...
Larry Wos
Buy from £17.90
|
Mechanical Geometry Theorem...
Shang-Ching Chou
Buy from £46.12
|
Principles of Automated...
David A Duffy
Buy from £93.99
|
Instantiation Theory
James G Williams
Buy from £12.14
|
10th International Conference...
M E Stickel
Buy from £13.41
|
First Order Logic Automated...
Melvin Fitting,
Fitting
Buy from £125.11
|
Px: A Computational Logic
Susumu Hayashi,
Hiroshi Nakano
Buy from £29.39
|
Logic for Computer Science:...
Jean Gallier
Buy from £18.48
|
A Many-Sorted Calculus Based...
Christoph Walther
Buy from £19.93
eBook from £25.86
|
