IST Austria Library catalog › Results of search for 'su:"Recursive functions"'

Your search returned 9 results.

Not what you expected? Check for suggestions

	1.	Stochastic approximation and recursive algorithms and applications Harold J. Kushner; G. George Yin by Kushner, Harold J [VerfasserIn] \| Yin, George [VerfasserIn]. Edition: 2. edMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publisher: New York, NY [u.a.] Springer 2003Online access: Inhaltsverzeichnis Inhaltsverzeichnis \| Inhaltsverzeichnis \| Zentralblatt MATH Inhaltstext Availability: Items available for loan: Library (1). Location(s): 519. Place hold Log in to add tags
	2.	Computations in higher types / Johan Moldestad. by Moldestad, Johan, 1946-. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1977Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	3.	Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] / edited by W. Marek, M. Srebrny, and A. Zarach. by Conference on Set Theory and Hierarchy Theory (2nd : 1975 : Bierutowice, Poland) \| Marek, Wiktor \| Srebrny, Marian, 1947- \| Zarach, Andrzej, 1948-. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1976Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	4.	Hierarchies of predicates of finite types / [electronic resource] by D.A. Clarke. by Clarke, D. A. (Douglas Albert). Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Providence, R.I. : American Mathematical Society, 1964Online access: Contents Availability: Items available for loan: e-Library (1). Location(s): . Place hold Log in to add tags
	5.	Formalized recursive functionals and formalized realizability / [electronic resource] by S.C. Kleene. by Kleene, Stephen Cole, 1909-1994. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Providence, R.I. : American Mathematical Society, 1969Online access: Contents Availability: Items available for loan: e-Library (1). Location(s): . Place hold Log in to add tags
	6.	Minimal degrees of unsolvability and the full approximation construction / [electronic resource] Richard L. Epstein. by Epstein, Richard L, 1947-. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Providence : American Mathematical Society, 1975Online access: Contents Availability: Items available for loan: e-Library (1). Location(s): . Place hold Log in to add tags
	7.	Recursive algorithms / Richard Lorentz. by Lorentz, Richard. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Norwood, N.J. : Ablex Pub. Corp., ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	8.	Computability and logic. by Boolos, George \| Burgess, John P, 1948- \| Jeffrey, Richard C. Edition: 4th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University Press, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	9.	Computability and logic. by Boolos, George \| Burgess, John P, 1948- \| Jeffrey, Richard C. Edition: 5th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University Press, 2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags

Powered by Koha