Añadir a mi colección
Formato
También te puede gustar
Computability and logic
George Boolos
1974
Recursive macroeconomic theory
Lars Ljungqvist
2000
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Hans Hermes
1961
Rekursive Funktionen
Rózsa Péter
1951
Enumerability, Decidability, Computability
1965
Recursive Identification and Parameter Estimation
Han-Fu Chen
2014
Computability & unsolvability
Davis, Martin
1958
The calculi of lambda-conversion
Alonzo Church
1941
