Libri di recursive functions
16 libri in questo genere
Robot dynamics algorithms
Roy Featherstone
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Hans Hermes
Recursion on the Countable Functionals (Lecture Notes in Mathematics)
D. Normann
Computability theory: an introduction
Neil D. Jones
Introduction to computability
Frederick C. Hennie
Degrees of Unsolvability. (AM-55) (Annals of Mathematics Studies)
Gerald E. Sacks
Funkcje rekurencyjne i elementy metamatematyki
Roman Murawski
Pyramid algorithms
Ron Goldman
Computability and Unsolvability
Martin Davis
Recursive data processing for kinematic GPS surveying
C. C. J. M. Tiberius
Theory of computation
Walter S. Brainerd
Stochastic approximation and recursive algorithms and applications
Harold J. Kushner
Computability and logic
George Boolos
Recursion theory
Logic Colloquium (1979 Leeds, Yorkshire)
Recursion theory
Degrees of unsolvability
Joseph R. Shoenfield