Computability and complexity from a programming perpective
| Main Author: | Jones, Neil D. |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge
The MIT Press
1997
|
| Subjects: |
Similar Items
-
Arithmetic complexity of computations
by: Winograd, Shmuel
Published: (1980) -
A first course in formal logic and its applications in computer science
by: Dowsing, R.D
Published: (1986) -
Computing in Horn clause theories
by: Padawitz, Peter
Published: (1988) -
The resolution calculus /
by: Leitsch, Alexander
Published: (1997) -
Teaching and learning formal methods
Published: (1996)