Custom cover image
Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit : über Nachfolgerbereichen / Michael Deutsch
Resource type: Ressourcentyp: BuchBookLanguage: German Publisher: Bremen : Universitätsdruckerei, 2003Description: 232 SISBN:- 3887225783
- theory of computation
- mathematical logic and formal languages
- mathematical logic
- recursive function theory
- computing methodologies
- artificial intelligence
- knowledge representation formalisms and methods
- predicate logic
- Funktion Mathematik
- Rekursionstheorie
- Berechenbarkeit
- Prädikat Logik
- Entscheidbarkeit
- Rekursive Funktion
- Recursive functions
- Algorithms
- Gödel's theorem
- Computable functions
- QA9.615
Contents:
Call number: Grundsignatur: D.Deu(45190)PPN: PPN: 371704715
| Item type | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Informatik | D.Deu | Bibliothek / frei aufgestellt | D.Deu(45190) | Available | 000456591090 |
Total holds: 0