Back to Results
First PageMeta Content
Computability theory / Predicate logic / Lisp programming language / Formal languages / Function / Free variables and bound variables / Combinatory logic / Expression / Lisp / Logic / Mathematics / Mathematical logic


Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I John McCarthy, Massachusetts Institute of Technology, Cambridge, Mass. April
Add to Reading List

Document Date: 2006-08-13 19:55:54

Open Document

File Size: 214,42 KB

Share Result on Facebook

City

Cambridge / /

Company

IBM / /

/

Facility

Massachusetts Institute of Technology / Stanford University / /

IndustryTerm

computing / simplest applications / /

Organization

Massachusetts Institute of Technology / Stanford University / Computer Science Department / /

Person

John Backus / John McCarthy / /

Position

editor / interpreter / /

ProvinceOrState

Massachusetts / /

SportsLeague

Stanford University / /

Technology

Newtonian algorithm / artificial intelligence / Euclidean algorithm / /

URL

http /

SocialTag