عنوان
پدید آورنده
موضوع
رده
QA 267 .H6
QA
267
.
H6
کتابخانه
محل استقرار
33655m
English
Hotz, Gunter
Automatentheorie und formale Sprachen
Mannheim
Bibliographisches Institut
)1968-
v. 19 cm
BI-Hochschulskripten, 128/128a
Bibliography: v. 1, p. 173-174
Ausgearb. von Hermann Walter
1. Turingmaschinen und rekursive Funktionen; Vorlesung im Wintersemester 6691 an der Universit۴t des Saarlandes in Saarbr۱cken
، Machine theory
، Formal languages
، Machine theory
QA
267
.
H6
AU
AU G K nnamreH ,retlaW ed. 1942-
TI
تموجود نیس
