Suggested Topics within your search.
Suggested Topics within your search.
- C++ (Computer program language) 2
- Computer programming 2
- Computer software 2
- Logic, Symbolic and mathematical 2
- Algorithms 1
- Artificial intelligence 1
- Automatic theorem proving 1
- Computational complexity 1
- Computer science 1
- Constraint databases 1
- Data processing 1
- Data structures (Computer science) 1
- Kolmogorov complexity 1
- Logic programming 1
- Machine learning 1
- Mathematics 1
- Parallel programming (Computer science) 1
- Pascal (Computer program language) 1
- Recursive functions 1
- Software engineering 1
- Specifications 1
- Verification 1
-
1
-
2
-
3
-
4
A recursive introduction to the theory of computation
Published 1994“…Graduate texts in computer science…”
Book -
5
An introduction to kolmogorov complexity and its applications
Published 1997“…Graduate texts in computer science…”
Book -
6
-
7
-
8
-
9
-
10
-
11
Verification of sequential and concurrent programs
Published 1991“…Graduate texts in computer science…”
Book -
12
-
13
-
14
Fundamentals of the new artificial intelligence :
Published 1998“…Graduate texts in computer science…”
Book -
15