bn:01527473n
Noun Concept
AR
No term available
EN
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. Wikipedia
Relations
Sources