About: http://fr.dbpedia.org/resource/Fonction_91_de

Property	Value
dbo:abstract	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. Avec la fonction de Takeuchi, elle est un exemple amplement repris dans les manuels de programmation. (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. Avec la fonction de Takeuchi, elle est un exemple amplement repris dans les manuels de programmation. (fr)
dbo:wikiPageExternalLink	http://denif.ens-lyon.fr/data/programmation_enslyon/2007_sem2/biblio/Livercy.pdf
dbo:wikiPageID	1219287 (xsd:integer)
dbo:wikiPageLength	7363 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	189881382 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-fr:Amir_Pnueli category-fr:Fonction_remarquable category-fr:Méthodes_informatiques category-fr:Programmation_fonctionnelle category-fr:Programmation_informatique dbpedia-fr:Continuation dbpedia-fr:Fonction_d'Ackermann dbpedia-fr:Fonction_de_Takeuchi dbpedia-fr:John_McCarthy dbpedia-fr:Méthode_formelle_(informatique) dbpedia-fr:Routine_(informatique) dbpedia-fr:Récursion_terminale dbpedia-fr:Récursivité dbpedia-fr:Zohar_Manna dbpedia-fr:Éditions_Dunod
prop-fr:année	1970 (xsd:integer) 1974 (xsd:integer) 1978 (xsd:integer) 1991 (xsd:integer)
prop-fr:arxiv	cs/9301113 (fr) cs/9301113 (fr)
prop-fr:auteur	John McCarthy (fr) Donald E. Knuth (fr) =Zohar Manna (fr) Amir Pnueli (fr) C. Livercy (fr) Mitchell Wand (fr) Zohar Manna (fr) John McCarthy (fr) Donald E. Knuth (fr) =Zohar Manna (fr) Amir Pnueli (fr) C. Livercy (fr) Mitchell Wand (fr) Zohar Manna (fr)
prop-fr:auteurOuvrage	Vladimir Lifschitz (fr) Vladimir Lifschitz (fr)
prop-fr:date	janvier 1980 (fr) juillet 1970 (fr) janvier 1980 (fr) juillet 1970 (fr)
prop-fr:doi	10.114500 (xsd:double)
prop-fr:id	K (fr) M (fr) MC (fr) MP (fr) K (fr) M (fr) MC (fr) MP (fr)
prop-fr:isbn	2 (xsd:integer) 124500102 (xsd:integer)
prop-fr:journal	Journal of the ACM (fr) Machine Intelligence (fr) Journal of the ACM (fr) Machine Intelligence (fr)
prop-fr:langue	en (fr) fr (fr) en (fr) fr (fr)
prop-fr:libellé	Knuth (fr) Livercy (fr) Manna (fr) Manna & McCarthy (fr) Manna & Pnueli (fr) Wand (fr) Knuth (fr) Livercy (fr) Manna (fr) Manna & McCarthy (fr) Manna & Pnueli (fr) Wand (fr)
prop-fr:lieu	Paris (fr) New-York (fr) Paris (fr) New-York (fr)
prop-fr:lireEnLigne	http://denif.ens-lyon.fr/data/programmation_enslyon/2007_sem2/biblio/Livercy.pdf
prop-fr:numéro	1 (xsd:integer) 3 (xsd:integer)
prop-fr:pages	27 (xsd:integer) 164 (xsd:integer) 555 (xsd:integer)
prop-fr:pagesTotales	490 (xsd:integer) xii+328 (fr)
prop-fr:passage	23 (xsd:integer) 207 (xsd:integer)
prop-fr:préface	Claude Pair (fr) Claude Pair (fr)
prop-fr:sousTitre	Schémas, preuves, sémantique (fr) Schémas, preuves, sémantique (fr)
prop-fr:sudoc	231142 (xsd:integer)
prop-fr:titre	Formalization of Properties of Functional Programs (fr) Mathematical Theory of Computation (fr) Properties of programs and partial function logic (fr) Théorie des programmes (fr) Continuation-Based Program Transformation Strategies (fr) Formalization of Properties of Functional Programs (fr) Mathematical Theory of Computation (fr) Properties of programs and partial function logic (fr) Théorie des programmes (fr) Continuation-Based Program Transformation Strategies (fr)
prop-fr:titreChapitre	Textbook Examples of Recursion (fr) Textbook Examples of Recursion (fr)
prop-fr:titreOuvrage	Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy (fr) Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy (fr)
prop-fr:volume	5 (xsd:integer) 17 (xsd:integer) 27 (xsd:integer)
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Chapitre dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références
prop-fr:éditeur	dbpedia-fr:Éditions_Dunod McGraw-Hill (fr) Academic Press (fr)
dct:subject	category-fr:Fonction_remarquable category-fr:Méthodes_informatiques category-fr:Programmation_fonctionnelle category-fr:Programmation_informatique
rdfs:comment	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. Avec la fonction de Takeuchi, elle est un exemple amplement repris dans les manuels de programmation. (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. Avec la fonction de Takeuchi, elle est un exemple amplement repris dans les manuels de programmation. (fr)
rdfs:label	Fonction 91 de McCarthy (fr) Funzione 91 di McCarthy (it) McCarthy 91 function (en)
owl:sameAs	dbr:McCarthy_91_function wikidata:Q3075198 dbpedia-es:Función_91_de_McCarthy dbpedia-it:Funzione_91_di_McCarthy dbpedia-ja:マッカーシーの91関数 http://ma-graph.org/entity/2781105039 http://g.co/kg/m/01ghb3
prov:wasDerivedFrom	wikipedia-fr:Fonction_91_de_McCarthy?oldid=189881382&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Fonction_91_de_McCarthy
is dbo:wikiPageRedirects of	dbpedia-fr:Fonction_de_McCarthy_n°91
is dbo:wikiPageWikiLink of	dbpedia-fr:Algorithme_récursif dbpedia-fr:F91 dbpedia-fr:Fonction_de_Takeuchi dbpedia-fr:John_McCarthy dbpedia-fr:Liste_de_fonctions_numériques dbpedia-fr:Fonction_de_McCarthy_n°91
is oa:hasTarget of	tag-fr:EnFrResource tag-fr:ItFrResource tag-fr:WdtFrResource
is foaf:primaryTopic of	wikipedia-fr:Fonction_91_de_McCarthy

About: http://fr.dbpedia.org/resource/Fonction_91_de_McCarthy