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
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
Die iterationen
Ladislaus von Bortkiewicz
1917
