Açıklama
This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes very little background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability.
Baskılar ve ISBN
- 1983
- Academic Press · İngilizce · 425 sayfa
ISBN 0122063805 - 1994
- Academic Press, Harcourt, Brace · İngilizce · 609 sayfa
ISBN 0122063821
Künye
- Yazar
- Davis, Martin
- İlk yayın
- 1983
- Yayınevleri
- Academic Press, Academic Press, Harcourt, Brace
- Sayfa (ortalama)
- 517
- Baskı sayısı
- 2
- Kaynak
- Open Library