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