Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=511*
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/975868675 |
| Art des Inhalts | Hochschulschrift |
| Titel | Reguläre Häufigkeitsberechnungen / vorgelegt von Holger Austinat |
| Person(en) | Austinat, Holger (Verfasser) |
| Zeitliche Einordnung | Erscheinungsdatum: 2005 |
| Umfang/Format | Online-Ressource, ca. 0,5 MB |
| Hochschulschrift | Stuttgart, Univ., Diss., 2005 |
| Persistent Identifier | URN: urn:nbn:de:bsz:93-opus-23277 |
| URL |
http://elib.uni-stuttgart.de/opus/volltexte/2005/2327/pdf/Dissertation.pdf (Verlag) (kostenfrei zugänglich) http://elib.uni-stuttgart.de/opus/volltexte/2005/2327/ (Verlag) |
| Schlagwörter | Rekursionstheorie ; Berechenbare Funktion ; Berechenbarkeit ; Entscheidbarkeit ; Endlicher Automat |
| DDC-Notation | 511.35 [DDC22ger] |
| Sachgruppe(n) | 510 Mathematik ; 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |

