Computability and complexity from a programming perpective
Κύριος συγγραφέας: | Jones, Neil D. |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cambridge
The MIT Press
1997
|
Θέματα: |
Παρόμοια τεκμήρια
-
Arithmetic complexity of computations
ανά: Winograd, Shmuel
Έκδοση: (1980) -
A first course in formal logic and its applications in computer science
ανά: Dowsing, R.D
Έκδοση: (1986) -
Computing in Horn clause theories
ανά: Padawitz, Peter
Έκδοση: (1988) -
The resolution calculus /
ανά: Leitsch, Alexander
Έκδοση: (1997) -
Teaching and learning formal methods
Έκδοση: (1996)