McCarthy 91 function
Sign in to saverecursive functions studied in computer science
Connections
recursion
Entity
Artificial intelligence
Concept
computer science
Entity
International Standard Book Number
Entity
Python
Entity
digital object identifier
Entity
Donald Knuth
Entity
Lisp
Entity
mathematical induction
Entity
OCLC, Inc.
Entity
John McCarthy
Entity
bibcode
Entity
Q118398
Entity
garbage collection
Entity
computer scientist
Entity
Q22908627
Entity
Amir Pnueli
Entity
formal methods
Entity
formal verification
Entity
Dartmouth workshop
Entity