Suggested Topics within your search.
Suggested Topics within your search.
Data processing
3
Programming languages (Electronic computers)
3
Reasoning
2
Semantics
2
Approximation theory
1
Artificial intelligence
1
Automatic theorem proving
1
Cambridge LCF (Computer system)
1
Computable functions
1
Computational complexity
1
Computer science
1
Design and construction
1
Graph theory
1
Gödel's theorem
1
Integrated circuits
1
LISP (Computer program language)
1
Logic
1
Logic programming
1
Logic, Symbolic and mathematical
1
Machine theory
1
Mathematics
1
Methodology
1
Natural language processing (Computer science)
1
Network analysis (Planning)
1
Numerical analysis
1
Parallel processing (Electronic computers)
1
Pragmatics
1
Proof theory
1
System design
1
Type theory
1
-
1
-
2
-
3by Clifford, James, 1950-“…Cambridge tracts in theoretical computer science ;…”
Published 1990
Book -
4Published 1990“…Cambridge tracts in theoretical computer science ;…”
Book -
5by Stoltenberg-Hansen, Viggo“…Cambridge tracts in theoretical computer science ;…”
Published 1994
Book -
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13by Troelstra, A. S. (Anne Sjerp)“…Cambridge tracts in theoretical computer science ;…”
Published 1996
Book -
14by Shankar, N. (Natarajan)“…Cambridge tracts in theoretical computer science ;…”
Published 1994
Book