1

2

3 “...In Taking [A]part, John McCarthy and Peter Wright consider a series of boundary-pushing research...”

4 Table of Contents: “..., deduction and heuristics / E.W. Beth -- Basis for mathematical theory of computation / John McCarthy...”

5 Table of Contents: “..., deduction and heuristics / E.W. Beth -- Basis for mathematical theory of computation / John McCarthy...”

6 Table of Contents: “... Leibniz -- Ada Lovelace -- John McCarthy -- John Mauchly -- Marvin Minsky -- Gordon Moore -- Grace Murray...”

7 “... and implementations that have resulted from this idea. In early 1995 John McCarthy suggested to me that we have a...”

8 Table of Contents: “... Interpretation Imperatives at Delaware State Parks; John McCarthy and Jonathan Wickert -- Chapter 9...”

9 “... with symbols instead of numbers. Lisp was introduced by John McCarthy in the early 1960s (McCarthy's LISP 1.5...”

10

11

12 “.... J Moore (FAABS-I), Prof. Sir Roger Penrose (FAABS-II), and Prof. John McCarthy (FAABS-III), who...”

13 “... history is in order. In 1963 I met Dr. John McCarthy, the inventor of LISP....”

14 “..., and the reviewers for their constructive criticism. Thanks to John McCarthy for performing the final proof...”

15 “...s, the term II Artificial Intelligence" being generally attributed to John McCarthy, who first used...”