cx j22 3 45
147691265
http://www.idref.fr/147691265
20101105
20190222194214.000
751132102
1999
Td8
http://catalogue.bnf.fr/ark:/12148/cb162445653
BNF
20150928
FRBNF162445652
FRBNF16244565
20101105afrey50 ba0
2
1
1
rameau
ba0yba0y
#
Thèse de Church
ba0yba0y
#
Church, Thèse de
ba0yba0y
#
Church-Turing, Thèse de
ba0yba0y
#
Thèse de Church-Turing
Voir aussi
027831655
z|xxx
ba0yba0y
Turing, Machines de
027844536
g|xxx
ba0yba0y
Fonctions calculables
027814688
g|xxx
ba0yba0y
Fonctions récursives
510
Mathématiques
Note de regroupement par domaine
FR
FR-751131015
20101119
FR
Abes
20190222
AFNOR
Encycl. universalis (art. : Récursivité) - http://www.universalis-edu.com (2010-11-18)
Récursivité / J.-P. Azra, B. Jaulin, 1973
L'étrange beauté des mathématiques / D. Ruelle, 2008 (p. 206)
Intuition et intuitionisme / J. Largeault, 1993 (p. 119)
Le savoir et l'ordinateur / D. Berthier, 2002 : thèse de Church-Turing
Réforme Rameau janvier 2019 Td ouverte à la subd. géogr.
20190215
Thèse de Church
Church, Thèse de
Church-Turing, Thèse de
Thèse de Church-Turing