Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01527473n
Noun Concept
Categories: Fonction remarquable, Méthodes informatiques, Programmation informatique, Programmation fonctionnelle
FR
fonction 91 de McCarthy  Fonction de McCarthy n°91  F91
FR
La fonction 91 de McCarthy est une fonction récursive définie par McCarthy dans son étude de propriétés de programmes récursifs, et notamment de leur vérification formelle. Wikipedia
Definitions
Relations
Sources
FR
La fonction 91 de McCarthy est une fonction récursive définie par McCarthy dans son étude de propriétés de programmes récursifs, et notamment de leur vérification formelle. Wikipedia
Une fonction récursive définie par John McCarthy. Wikipedia Disambiguation
IS A
fonction μ-récursive
Wikipedia
FR
fonction 91 de McCarthy
Wikidata
FR
Fonction de McCarthy n°91
Wikipedia Redirections
FR
F91, Fonction de McCarthy n°91
Wikidata Alias
FR
F91

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License