Matches in DBpedia 2014 for { <http://dbpedia.org/resource/McCarthy_91_function> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- McCarthy_91_function abstract "The McCarthy 91 function is a recursive function, defined by the computer scientist John McCarthy as a test case for formal verification within computer science.The McCarthy 91 function is defined asThe results of evaluating the function are given by M(n) = 91 for all integer arguments n ≤ 100, and M(n) = n − 10 for n ≥ 101.".
- McCarthy_91_function wikiPageExternalLink Cowles-abstract.html.
- McCarthy_91_function wikiPageID "222665".
- McCarthy_91_function wikiPageRevisionID "597115652".
- McCarthy_91_function hasPhotoCollection McCarthy_91_function.
- McCarthy_91_function subject Category:Formal_methods.
- McCarthy_91_function subject Category:Recurrence_relations.
- McCarthy_91_function comment "The McCarthy 91 function is a recursive function, defined by the computer scientist John McCarthy as a test case for formal verification within computer science.The McCarthy 91 function is defined asThe results of evaluating the function are given by M(n) = 91 for all integer arguments n ≤ 100, and M(n) = n − 10 for n ≥ 101.".
- McCarthy_91_function label "Función 91 de McCarthy".
- McCarthy_91_function label "Funzione 91 di McCarthy".
- McCarthy_91_function label "McCarthy 91 function".
- McCarthy_91_function label "マッカーシーの91関数".
- McCarthy_91_function sameAs Función_91_de_McCarthy.
- McCarthy_91_function sameAs Funzione_91_di_McCarthy.
- McCarthy_91_function sameAs マッカーシーの91関数.
- McCarthy_91_function sameAs m.01ghb3.
- McCarthy_91_function sameAs Q3754512.
- McCarthy_91_function sameAs Q3754512.
- McCarthy_91_function wasDerivedFrom McCarthy_91_function?oldid=597115652.
- McCarthy_91_function isPrimaryTopicOf McCarthy_91_function.