Recherche avancéePréférences

1 - Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einfuhrung in dieTheorie der rekursiven Funktionen Hermes, Hans (1912-2003) Cote : [05 HER 61]

2 - Theory of recursive functions and effective computability Rogers, Hartley Jr. (1926-....) Cote : [05 ROG 67]

Nombre de résultats : 2