Enumerability, decidability, computability: an introduction to the theory of recursive functions

Uloženo v:
Podrobná bibliografie
Hlavní autor: Hermes, Hans (Autor)
Médium: Kniha
Jazyk:angličtina
Vydáno: Berlín Springer-Verlag 1969
Témata:
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!