Obálka

Mašiny T'juringa i rekursivnyje funkcii

Podrobná bibliografie
Hlavní autoři: Ebbinghaus, Heinz-Dieter, 1939- (Autor), Jacobs, Konrad, 1928-2015 (Autor), Mahn, Friedrich-Karl (Autor), Hermes, Hans, 1912-2003 (Autor)
Další autoři: Belagi, È. G. (Překladatel)
Typ dokumentu: Kniha
Jazyk:ruština
Rok: Moskva : Izdatel'stvo "Mir", 1972
Edice:Sovremennaja matematika. Populjarnaja serija
Témata:
teorie vyčíslitelnosti
computability theory
Turingův stroj
rekurzivní funkce