bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI
Indice degli Autori
Home -> Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend., Serie 8 -> Vol. 32 (1962), n. 6 -> pp. 923-930

Referenza completa

Böhm, Corrado:
Macchine a indirizzi, dotate di un numero minimo di istruzioni
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Serie 8 32 (1962), fasc. n.6, p. 923-930, (Italian)
pdf (571 Kb), djvu (936 Kb). | Zbl 0116.00804

Referenze Bibliografiche
[1] A. M. TURING, On computable Numbers, with an Application to the Entscheidungsproblem, «Proc. London Math. Society», ser. 2, vol. 42, pp. 230-265 (1936). | Zbl 62.1059.03
[2] W. L. VAN DER POEL, The essential types of Operations in an Automatic Computer, pp. 144-145, N.T.F. Band 4, Friedr. Vieweg & Sohn Verlag Braunschweig (1956). | Zbl 0074.11602
[3] C. BÖHM, Tecnica della programmazione, note del corso omonimo, 1961-62 (non pubblicato).
[4] S. C. KLEEN, Introduction to Matemathematics, van Nostrand (1952).
[5] J. ROBINSON, General recursive functions, «Proc. Amer. Math. Soc.», 1, pp. 703-718 (1950). | Zbl 0041.15101
Home -> Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend., Serie 8 -> Vol. 32 (1962), n. 6 -> pp. 923-930

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

logo MBACCon il contributo del Ministero per i Beni e le Attività Culturali