Guide to the John McCarthy Papers SC0524

Daniel Hartwig & Elspeth Olson
Department of Special Collections and University Archives
October 2010
Green Library
557 Escondido Mall
Stanford 94305-6064
specialcollections@stanford.edu

Note

This encoded finding aid is compliant with Stanford EAD Best Practice Guidelines, Version 1.0.


Language of Material: English
Contributing Institution: Department of Special Collections and University Archives
Title: John McCarthy papers
Creator: McCarthy, John, 1927-2011
Identifier/Call Number: SC0524
Identifier/Call Number: 12549
Physical Description: 51.25 Linear Feet and 4577.28 megabytes
Date (inclusive): 1951-2012
Abstract: Correspondence, memos, reports, course materials, newsletters, articles, reprints, computer manuals, and other materials pertaining to McCarthy's research and his teaching at Stanford and MIT. Correspondents include Forest Baskett, Donald Knuth, Serge Lang, Joshua Lederberg, Douglas Lenat, Donald Michie, Hans Moravec, Zohar Manna, Aaron Sloman, and Masahiko Sato. Also included are correspondence, reprints, programs, notes, and articles from his work with Russian computer scientists, 1958-78.

Arrangement

The materials are arranged by accession.

Immediate Source of Acquisition note

Gift of John McCarthy, 1995-2009; Susan McCarthy, 2012-2013.

Information about Access

This collection is open for research.

Ownership & Copyright

All requests to reproduce, publish, quote from, or otherwise use collection materials must be submitted in writing to the Head of Special Collections and University Archives, Stanford University Libraries, Stanford, California 94304-6064. Consent is given on behalf of Special Collections as the owner of the physical items and is not intended to include or imply permission from the copyright owner. Such permission must be obtained from the copyright owner, heir(s) or assigns. See: http://library.stanford.edu/depts/spc/pubserv/permissions.html.
Restrictions also apply to digital representations of the original materials. Use of digital files is restricted to research and educational purposes.

Cite As

John McCarthy Papers (SC0524) Department of Special Collections and University Archives, Stanford University Libraries, Stanford, Calif.

Biographical/Historical Sketch

McCarthy was born on Sept. 4, 1927, in Boston. He earned his undergraduate degree from the California Institute of Technology in 1948 and his PhD at Princeton in 1951, both in mathematics. He was an instructor at Princeton from 1951 until 1953 when he came to Stanford as an assistant professor. In 1955, he left for Dartmouth and then for MIT before returning to Stanford for good in 1962 as a full professor of computer science.
During his remarkable career, McCarthy co-founded the MIT Artificial Intelligence Project and what became the Stanford Artificial Intelligence Lab, serving as director at Stanford from 1965 until 1980. He was named the first Charles M. Pigott Professor at the Stanford School of Engineering in 1987, before stepping down in 1994. He retired Jan. 1, 2001.
McCarthy was a giant in the field of computer science and a seminal figure in the field of artificial intelligence. While at Dartmouth in 1955, McCarthy authored a proposal for a two-month, 10-person summer research conference on "artificial intelligence" – the first use of the term in publication.
In proposing the conference, McCarthy wrote, "The study is to proceed on the basis of the conjecture that every aspect of learning or any other feature of intelligence can in principle be so precisely described that a machine can be made to simulate it." The subsequent conference is considered a watershed moment in computer science.
In 1958, McCarthy invented the computer programming language LISP, the second oldest programming language after FORTRAN. LISP is still used today and is the programming language of choice for artificial intelligence.
McCarthy also developed the concept of computer time-sharing in the late 1950s and early 1960s, an advance that greatly improved the efficiency of distributed computing and predated the era of cloud computing by decades.
In 1960, McCarthy authored a paper titled, "Programs with Common Sense," laying out the principles of his programming philosophy and describing "a system which is to evolve intelligence of human order."
McCarthy garnered attention in 1966 by hosting a series of four simultaneous computer chess matches carried out via telegraph against rivals in Russia. The matches, played with two pieces per side, lasted several months. McCarthy lost two of the matches and drew two. "They clobbered us," recalled Earnest.
Chess and other board games, McCarthy would later say, were the "Drosophila of artificial intelligence," a reference to the scientific name for fruit flies that are similarly important in the study of genetics.
McCarthy would later develop the first "hand-eye" computer system in which a computer was able to see real 3D blocks via a video camera and control a robotic arm to complete simple stacking and arrangement exercises.
The Association of Computing Machinery honored McCarthy with the A. M. Turing Award in 1971, the highest recognition in computer science. He received the Kyoto Prize in 1988 and the National Medal of Science in 1990, the nation's highest technical award. He was a member of the National Academy of Sciences, the National Academy of Engineering and the American Academy of Arts and Sciences.
McCarthy died on October 24, 2011. He was survived by his third wife, Carolyn Talcott of Stanford; two daughters, Susan McCarthy of San Francisco and Sarah McCarthy of Nevada City, Calif.; a son, Timothy Talcott McCarthy of Stanford; a brother, Patrick, of Los Angeles; two grandchildren, Kitty McCarthy of San Francisco and Joseph Gunther of New York City; and his first wife, Martha Coyote. McCarthy's second wife, Vera Watson, died in 1978 in a mountain-climbing accident attempting to scale Annapurna in Nepal.

Description of the Collection

Correspondence, memos, reports, course materials, newsletters, articles, reprints, computer manuals, and other materials pertaining to McCarthy's research and his teaching at Stanford and MIT. Correspondents include Forest Baskett, Donald Knuth, Serge Lang, Joshua Lederberg, Douglas Lenat, Donald Michie, Hans Moravec, Zohar Manna, Aaron Sloman, and Masahiko Sato. Also included are correspondence, reprints, programs, notes, and articles from his work with Russian computer scientists, 1958-78.

Subjects and Indexing Terms

LISP (Computer program language)
Computer programming.
Artificial intelligence.
McCarthy, John, 1927-2011
Baskett, Forest.
Lang, Serge
Knuth, Donald Ervin, 1938-
Lederberg, Joshua
Lenat, Douglas B.
Stanford University. Computer Science Department. Faculty
Manna, Zohar.
Sloman, Aaron.
Michie, Donald.
Sato, Masahiko
Moravec, Hans P.

 

Original Accession Accession ARCH-1995-247

box 1, folder 1

Future of Computing, 1978-1979 (memos)

box 1, folder 2

Academic Caucus on Foreign Policy, 1978 (memos)

box 1, folder 3

Accounting, 1975-1978 (memos, printouts - Stanford Artificial Intelligence Lab., computer usage)

box 1, folder 4

Advisees, 1979-1982 (memos, printouts)

box 1, folder 5

ARPA - Advanced Research Projects Agency, 1976-1981 (memos, reports)

box 1, folder 6

ATP Prize - Artificial Theorem Proving Prize, 1979-1983 (memos)

box 1, folder 7

Basic and Applied Research Panel, 1980-1981 (correspondence, memos, reports)

box 1, folder 8

Behavioral and Brain Sciences - beginning of an international journal of current research and theory with open peer commentary, 1977-1980 (correspondence, memos, articles, reprints)

box 1, folder 9

Campus Computing Bulletin, 1977-1979

box 1, folder 10

CCS - Committee of Concerned Scientists, 1977-1982 (memos, correspondence, legal documents, articles, reports, reprints)

box 1, folder 11

China, 1978-1979 (correspondence, articles)

box 1, folder 12

CIS - Center for Integrated Systems, 1979-1981 (reports, memos, correspondence, minutes)

box 1, folder 13

Computer News Service, 1980 (letter, report)

box 1, folder 14

Computer Sci - Tech Board - Computer Science and Technology Board, 1980 (memos, correspondence, reports, minutes, articles)

box 1, folder 15

Concept, 1976, 1978 (article, commentary)

box 1, folder 16

Context, 1980-1981 (reports, memos, proposal) 1966 Oct-1967 Dec

box 1, folder 17

Core War - a two-person competitive game played in computer memory, 1977-1978

box 1, folder 18

Energy for 80's, 1980-1981, (newsletter, reports, memos, brochure, news release)

box 1, folder 19

Expense Reimbursement, 1976-1985

box 1, folder 20

Finitary Search - Finite State Search Problems, 1976 (article) 1967-1968

box 1, folder 21

Grants, Proposals, Contracts, 1977-1982

box 1, folder 22

Heart - the artificial heart, 1983 (articles, correspondence, book chapters)

box 1, folder 23

Human Rights, 1975-1978 (reports, correspondence, news releases, articles, newsletters) x-ref Committee of Concerned Scientists

box 2, folder 1

Indoor Pollution, 1979-1980 (correspondence, articles, memos)

box 2, folder 2

Interstellar (reports, article)

box 2, folder 3

IPL - Information Processing Letters, 1974, 1977

box 2, folder 4

KL 20, 1975-1977 (correspondence, memos, newsletters, reports, minutes, brochure, printouts re computer equipment configuration for time-sharing)

box 2, folder 5

KNOW - an axiomatization of knowledge, 1977

box 2, folder 6

LOTS - Low Overhead Time-Sharing System, 1979 (memos, report)

box 2, folder 7

LOTS, 1977-1978 (memos, correspondence, printouts, reports)

box 2, folder 8

LOTS Memos, 1977-1979 (memos, reports)

box 2, folder 9

LOTS Users, 1976-1977 (reports, memos) 1973

box 2, folder 10

Math Sci - Mathematical Sciences, 1979-1982 (reports, memos, course information booklet)

box 2, folder 11

Minima, 1976 (report on minimal inference)

box 2, folder 12

N Queens - a mathematical problem, 1974-1982

box 2, folder 13

NLCPI - National Legal Center For the Public Interest, 1977-1979 (articles, newsletters, correspondence)

box 2, folder 14

Notes, 1984 ( notes for a slide talk) 1958-1982

box 2, folder 15

Abstracts, 1977-1978

box 2, folder 16

AI Budget - Artificial Intelligence Budget, 1971-1974 (proposal, printouts, reports) 1972-1983

box 2, folder 17

AI for ARPA, 1973-1974 (memos, reports)

box 2, folder 18

AI Journal, 1974-1979 (correspondence, reports, articles, abstracts)

box 2, folder 19

Anti-Technology, 1972-1976) (articles, correspondence, notes)

box 2, folder 20

Applicants, 1975-1979 (correspondence, resumes, memos) 1974 Nov

box 2, folder 21

ARPA, 1973-1978 (reports, memos, articles)

box 2, folder 22

Automation, 1972-1974 (correspondence, reports)

box 2, folder 23

Axioms, 1972-1974 (reports, printouts, notes) 1977

box 2, folder 24

BAHTC - Bay Area Home Terminal Club, 1975 (articles, prospectus)

box 2, folder 25

Bay Area Circle (on AI and Cognitive Science), 1975-1976 (memos)

box 2, folder 26

Cars, 1972-1975 (correspondence, reports, articles)

box 2, folder 27

Chess, 1976-1983 (journal, newsletters, articles, correspondence)

box 2, folder 28

Chronological Incoming Mail, 1977-1979 (correspondence, reports)

box 2, folder 29

Communications, 1971, 1976 (article, reports)

box 2, folder 30

Computer Forum - Stanford Computer Forum, 1976-1978 (memos, agendas)

box 2, folder 31

Crunching, 1976 (printouts)

box 2, folder 32

CSD Computing - Computer Science Department, 1970-1979 (correspondence, reports, notes)

box 2, folder 33

CSD Displays, 1976 (proposal, memos)

box 2, folder 34

CSD Memos, 1974-1978 (memos, CSD Faculty Meeting Minutes)

box 3, folder 1

CF Committee - Computation Facilities Committee, 1968-1977 (memos,

box 3

minutes, reports)

box 3, folder 2

Databases, 1974-1975 (reports, letter, printout)

box 3, folder 3

Defense of Vision - relevance to defense of computer vision related research

box 3, folder 4

Dishonesty, 1973-1979

box 3, folder 5

Distributed Lab - Distributed National Laboratory for Cognitive Science, 1975 (proposal for NSF)

box 3, folder 6

Ecology, 1970-1977 (articles, newsletters, notes, reports, memos, brochure, letter)

box 3, folder 7

EE Department - Electrical Engineering Department, 1976-1978 (memos, reports)

box 3, folder 8

Energy, 1974-1979 (reports, memos, newsletters, correspondence, articles, brochure on fusion)

box 3, folder 9

Eng 235 - "An Alternative to the Petroleum Economy," 1973-1974 (course announcement, faculty list, memos, reprint, reports)

box 3, folder 10

Environment, 1970-1976 (journal, letter, memo, brochure, articles, reprints, newsletter)

box 3, folder 11

Essays, 1974-1976

box 3, folder 12

FOL, 1976-1978 (reports, a formalized proof using FOL)

box 3, folder 13

Hand-Eye Current, 1975-1979 (correspondence, reports) research in Robot Languages and Stereo Vision Systems

box 3, folder 14

KR 4, 1974 (computer-generated proof?)

box 3, folder 15

LISP, 1977-1982 (newsletter, draft of manual, handwritten manual, programming instructions)

box 3, folder 16

Optimism, 1974 (correspondence, articles)

box 3, folder 17

Mail Terminal, 1977-1978 (articles, letter, newsletters)

box 3, folder 18

Piano Mover, 1976-1977 (memos, flow charts)

box 3, folder 19

Project Independence - project aimed at making the US substantially independent of foreign energy sources, 1974 (published letter, correspondence, position statement

box 3, folder 20

Proofs, 1972-1976 (proof printouts)

box 3, folder 21

SENSE - Scientists for Enlightenment on Nuclear Sources of Energy, 1975-1978 (correspondence, position statements, newsletters, articles)

box 3, folder 22

S-1 - Computer processing system, 1977-1978 (articles, memos, correspondence, reports)

box 3, folder 23

SE2 - Scientists and Engineers for Secure Energy, 1976-1980 (articles, correspondence, conference notes, brochure, legal brief, memos, reports)

box 3, folder 24

SE2, 1980-1982 (memos, reports, legal briefs, correspondence, newsletters, articles)

box 3, folder 25

SE2, 1978-1984 (correspondence, reports, reprints, articles, legal briefs, newsletters, minutes, by-laws, position/policy statements)

box 3, folder 26

Social Articles, 1974-1978

box 3, folder 27

Soviet Jews, 1975-1978 (correspondence, memos, articles, newsletters, position statements)

box 3, folder 28

Speaking Engagements, 1975-1984 (brochures, correspondence, expense reports, conference information, lecture transcription)

box 3, folder 29

Student Advisees, 1982-1984 (correspondence, memos, printouts of student status, guidelines for dismissal)

box 3, folder 30

Text Processing, 1979 (memo, draft for text processing project)

box 3, folder 31

Time Sharing, 1959-1980 (report, correspondence)

box 3, folder 32

Weizen - Weizenbaum, 1976-1977 (correspondence, articles)

box 4, folder 1

Centre Mondiale, 1984-1985 (reports)

box 4, folder 2

Centre Mondiale, 1983-1985 ( reports, McCarthy proposal for an electronic library)

box 4, folder 3

Chandra, Ashok K., 1971 (program listing)

box 4, folder 4

Cohen, Bernard L., 1978 (reports, article)

box 4, folder 5

Creary, Lewis G., 1978-1982 (reports, article, reprint, resume)

box 4, folder 6

CSLI, 1983 ( newsletters, memo)

box 4, folder 7

Dahl, Veronica, 1981-1982 (correspondence)

box 4, folder 8

Davis, Martin, 1976-1982 (correspondence, reports, articles, program listings?)

box 4, folder 9

Dennett, Daniel, 1982 (draft of an article)

box 4, folder 10

Deutsch, L. Peter, 1973 (article)

box 4, folder 11

Diffie, Whitfield, 1970-1975 (letter, printout, article)

box 4, folder 12

Dijkstra, Edsger W., 1978 ( article, correspondence)

box 4, folder 13

Doyle, Jon, 1979-1983 ( correspondence, curriculum vitae)

box 4, folder 14

Dreyfus, (article, manuscript)

box 4, folder 15

University of Edinburgh, School of AI, 1971-1977, (department descriptions, technical memos)

box 4, folder 16

Ershov, Andrei P., 1967-1982 (correspondence, articles, memos, interview)

box 4, folder 17

Finite Fields, (mathematical notes, reprint, excerpt from book)

box 4, folder 18

Hardware, 1977 (brochure, memo, article)

box 4, folder 19

Home Terminals, 1974 (correspondence, memo)

box 4, folder 20

IBM, 1974 (product announcement, brochure, articles, memo, notes)

box 4, folder 21

IMSS, 1971-1974, (reprints, articles)

box 4, folder 22

Inquiries, 1971-1975 (correspondence, article, resume)

box 4, folder 23

Machine Translation, 1970-1971, (memos, article)

box 4, folder 24

Memory, 1974 (articles, agenda-Advanced Memory Concepts Group)

box 4, folder 25

Mining, 1974-1975 (conference brochure, article, proposal)

box 4, folder 26

Money, 1971-1978 (articles, correspondence)

box 4, folder 27

Names, 1972-1978 (lists, business cards, conference attendees, name jottings on paper, greeting cards)

box 4, folder 28

Natural Language, 1973 (memo)

box 4, folder 29

Network Journal - proposed ARPA network journal, 1972-1975 (memos, correspondence, articles, reprint)

box 4, folder 30

Miscellaneous News Articles, 1976-1978

box 4, folder 31

NSF - National Science Foundation, 1971-1979 (articles, correspondence, memo, grant lists, NSF Proposal Guidelines, conference program)

box 4, folder 32

NSF Reviews, 1977-1981

box 4, folder 33

Politics, 1970-1977 (articles, memos, correspondence)

box 4, folder 34

Proposals, 1973-1977 (memos, correspondence, proposals)

box 4, folder 35

Proposals, 1975-1978 (memo, letter, proposals)

box 4, folder 36

Proposals, 1973-1977 (correspondence, memos, reports, proposals)

box 5, folder 1

Public Affairs, 1970-1971 (newsletter, letter, newspaper, article)

box 5, folder 2

Publicity, 1971-1977 (correspondence, articles)

box 5, folder 3

Qual, AI - Qualifying Exam for AI, 1969-1975 (syllabi, exams, student scores, memo)

box 5, folder 4

Qual, Comp - Comprehensive Qualifying Exam, 1972-1974 (memos, reading lists, exams, student scores, problem solutions)

box 5, folder 5

Qual, MTC - PH.D. Qualifying Exam in Mathematical Theory of Computation, 1970-1974 (syllabi, exams)

box 5, folder 6

Quarterly Report, 1972-1978

box 5, folder 7

Robotics, 1972-1978 (correspondence, articles, newsletter, brochure)

box 5, folder 8

Rotation Number, (article)

box 5, folder 9

RPV - Remotely Piloted Vehicles, 1973-1974, (memos, newsletters, correspondence, articles, symposium program)

box 5, folder 10

Semantics, 1974 (articles)

box 5, folder 11

SCIP, 1979 (memo, reports)

box 5, folder 12

Technology, 1966-1973 (essay topic list, correspondence, questionnaire, articles)

box 5, folder 13

Time-Sharing, 1974 (memos, article, reprint)

box 5, folder 14

TSPP - Technology, Society and Public Policy, discussion group, 1975-1976, (memos, article)

box 5, folder 15

WG2.2 - Working Group 2.2, 1974-1978, (minutes, newsletter, memos, agenda)

box 5, folder 16

Weatherman, 1970-1978, (correspondence, articles, newspaper, journal, legal brief)

box 5, folder 17

AI Journal, 1980-1982, (correspondence, abstracts, article, review status report)

box 5, folder 18

AAAI from 8/83 - American Association for Artificial Intelligence, 1980-1984, (reports, correspondence, conference brochure, article)

box 5, folder 19

Abramson, Fred, 1980-1981, (correspondence)

box 5, folder 20

Aiello, Luigia, 1979, (article, resume)

box 5, folder 21

Allen, J., 1974-1975, (correspondence, manuscript contents and index, article)

box 5, folder 22

Anderson, B., 1972-1974, (correspondence, articles)

box 5, folder 23

Anon, (articles)

box 5, folder 24

Ashcroft, 1968-1969, (articles)

box 5, folder 25

ATP Prize - Automatic Theorem Proving Prize, 1980-1982, (correspondence, article)

box 5, folder 26

Babbage - The Charles Babbage Institute, 1979-1980, (correspondence, article, newsletters)

box 5, folder 27

Barwise, Jon, (article)

box 5, folder 28

Baskett, Forest, 1973-1978, (correspondence, article)

box 5, folder 29

Binford, Tom, 1970-1987, (correspondence, curriculum vitae, recommendation for reappointment, reports, articles, charts)

box 5, folder 30

Boeing, 1982-1983, (memos, correspondence, agreement)

box 5, folder 31

Book - LISP: Programming and Proving, 1980-1872, (correspondence, letters of agreement, article, manuscript)

box 5, folder 32

Kanerva, Pentti, 1975-1982, (memos, proposal, dissertation draft, article)

box 5, folder 33

Konolige, Kurt, 1981-1985, (articles, thesis proposal, thesis drafts)

box 5, folder 34

Knuth, Donald, 1969-1977, (correspondence, memo, reprints, article)

box 5, folder 35

Kuo, Victor, 1982-1984, (correspondence, article, resume, memos)

box 5, folder 36

Lamping, John, 1985, (article)

box 5, folder 37

Lang, Serge, 1981-1985, (correspondence, article)

box 5, folder 38

Lederberg. Joshua, 1974-1976, (articles, newsletter, correspondence, reprints)

box 5, folder 40

Lem, Stanislaw, 1975, (correspondence, article)

box 6, folder 1

Lenat, Douglas, 1974-1984, (correspondence, curriculum vitae, articles, course evaluations, report)

box 6, folder 2

Lifschitz, Vladimir, 1984-1987, (articles)

box 6, folder 3

Livermore, 1981-1983, (correspondence, employment application, personnel security questionnaire, consultant agreement, forms)

box 6, folder 4

Luckham Letters, 1968-1977, (memos, correspondence, notes, articles, curriculum vitae, proposals, recommendation for appointment)

box 6, folder 5

Milner, Robin, 1970-1974, (employee records, correspondence, articles, drafts of articles)

box 6, folder 6

Martin, (dissertation proposal)

box 6, folder 7

Michie, Donald, 1968-1981, (correspondence, brochure, articles, photograph, reprint)

box 6, folder 8

McDermott, Drew, 1982, (letter, draft of article)

box 6, folder 9

McCracken, Daniel, 1974, (letter, draft of article)

box 6, folder 10

Marotta, David, 1981, (note, draft of article)

box 6, folder 11

Moravec, Hans, 1969-1980, (correspondence, abstract, reprint)

box 6, folder 12

Morris, Lockwood, 1968-1969, (articles, note, memo)

box 6, folder 13

Moore, Robert, 1975, (articles, master's thesis)

box 6, folder 14

Mints, Gregory, 1979-1980, (correspondence)

box 6, folder 15

Minsky, Marvin, 1963-1973, (reprint, articles)

box 6, folder 16

Minker, Jack, 1977, (letter, article)

box 6, folder 17

Manna, Zohar, 1968-1979, (articles, correspondence, curriculum vitae, memos, reprints, proposal)

box 6, folder 18

Malik, Jitendra, (article)

box 6, folder 19

Maas, Robert, 1973, 1979, (article, program)

box 6, folder 20

Ma Xiwen, 1978-1981, (correspondence, articles, curriculum vitae)

box 6, folder 21

Polack, 1977, (proofs)

box 6, folder 22

Papert, Seymour, 1970-1972, (letter, brochures, article, drafts of articles)

box 6, folder 23

Parker, Edwin, 1974-1976, (newsletter, article)

box 6, folder 24

Pednault, Edwin, 1981, (draft of article)

box 6, folder 25

Pereira, Luis, 1981-1982, (correspondence, curriculum vitae, interview, articles, newsletter)

box 6, folder 26

Perlis, Donald, 1982, (letter, resume, articles)

box 6, folder 27

Philosophy, (article)

box 6, folder 28

Oppen, Derek, 1975-1978, (letter, resume, articles)

box 6, folder 29

Pack, Leslie, 1983, (programs, proof)

box 6, folder 30

Nilsson, Nils, 1973-1985, (draft of proposal, correspondence, bibliography)

box 7, folder 1

Sloman, Aaron, 1970-1981, (drafts of articles, correspondence, articles)

box 7, folder 2

Sandewall, 1967-1980, (report, correspondence, articles)

box 7, folder 3

Sato, Masahiko, 1976-1982, (correspondence, abstract, reprint, articles)

box 7, folder 4

SE2, 1984, (article, correspondence, draft of article)

box 7, folder 5

Shapiro, Ehud, 1982, (curriculum vitae, correspondence, report)

box 7, folder 6

Shockley, William, 1975-1976, (articles, correspondence, reprints)

box 7, folder 7

Stallman, 1981, (article, draft of article)

box 7, folder 8

Space, 1981-1983, (correspondence, article, reports, newesletter)

box 7, folder 9

Moser, Yoram, 1982-1985, (letter, articles, reprints)

box 7, folder 10

Moses, Joel (article)

box 7, folder 11

Moszkowski, Ben, 1977-1982, (article, letter, notes)

box 7, folder 12

Nagao, Makoto, 1985, (letter, list)

box 7, folder 13

SRI, 1971-1983, (reports - a series called technical notes)

box 7, folder 14

Samet, Hanan, 1975 (dissertation)

box 7, folder 15

Samet, Hanan, 1972-1975, (program listing, articles)

box 7, folder 16

Wilks, Yorick, 1971-1976, (articles, correspondence, proposals, program listing)

box 7, folder 17

Winograd, Terry, 1972-1978, (drafts of articles, articles)

box 7, folder 18

Wood, Lowell, 1972-1977, (letter, article)

box 7, folder 19

Wilkins, David, 1973-1978, (articles, correspondence, drafts of articles, program listings)

box 7, folder 20

Weyhraugh, Richard, 1973-1981, (article, lecture notes, draft of article, program listings)

box 7, folder 21

Wickelgren, Wayne, 1969-1984, (letter, curriculum vitae, article, reprints)

box 7, folder 22

US Labor Party, 1976-1978, (constitution, journals)

box 7, folder 23

Wadler, Phil, l977, (article)

box 7, folder 24

Thomas, Arthur, 1971-1978, (correspondence, memo, draft of manuscript chapters, draft of article, proposals, article)

box 8, folder 1

Tappel, Steve, 1981, (problem statement)

box 8, folder 2

Uniform, 1981, (article)

box 8, folder 3

Tang, Chih-Sung, 1974-1982, (reprint, articles, correspondence)

box 8, folder 4

Suppes, Patrick, 1970-1979, (reprints, article, memo)

box 8, folder 5

Sussman, Gerald, 1972, (article, report)

box 8, folder 6

Suzuki, Norihisa, 1973-1976, (articles, program listing)

box 8, folder 7

Takasu, Satoru, 1976-1979, (article, correspondence)

box 8, folder 8

Stoyan, Herbert, 1976-1982, (curriculum vitae, correspondence, drafts of articles)

box 8, folder 9

Scott, Dana, 1970, (articles, drafts of articles)

box 8, folder 10

Schwartz, Jack, 1975-1976, (memo, correspondence, article, reprints, report)

box 8, folder 11

Pnueli, Amir, 1969-1976, (correspondence, curriculum vitae, articles, reprints)

box 8, folder 12

Prolog, 1974-1981, (articles)

box 8, folder 13

Reiter, Raymond, 1971-1981, (correspondence, reprints, articles, technical reports)

box 8, folder 14

Py lyshyn, Zenon, 1973-1979, (reprints, articles, draft of article)

box 8, folder 15

AI Memo List, 1963-1984

box 8, folder 16

Proposal 1978

box 8, folder 17

Placement of Engineering Graduates 1978

box 8

Reports, articles - Stanford, 1978-1979

box 9

Reports, articles - non-Stanford

box 10

Reports, articles - non-Stanford (MIT), 1973-1980

box 11, folder 1

A. B. Dick Copier, 1970, (instructions)

box 11, folder 2

Ampex Memory Level Converters, 1971, (notes, letter, list)

box 11, folder 3

128K Ampex Interface, 1972, (notes)

box 11, folder 4

Centronics Printer, (manual, notes, brochure)

box 11, folder 5

IBM 2314, 1970, (manual)

box 11, folder 6

Cache and Schottky Info, 1969-1971, (product specifications, reports, brochures, article, price list)

box 11, folder 7

Acoustic Coupler (Tymshare) and TTY EIA Interface Adapter, 1966-1968, (diagrams, blueprints,brochure)

box 11, folder 8

Microswitch, 1965-1971, (diagrams, blueprints, correspondence, manual, list)

box 11, folder 9

E. R. L. Stock Room, 1964, (components lists)

box 11, folder 10

Modems, 1970, (product specifications, brochures, article)

box 11, folder 11

Video Synthesizer (ARDS), 1970, (diagrams)

box 11, folder 12

IMLAC Corp., 1970, (correspondence, notes, diagrams, manuals)

box 11, folder 13

IMLAC Displays, 1969-1983, (manuals, lists, reprints, blueprints, correspondence)

box 11, folder 14

Videograph Display Copier, 1971, (manuals)

box 11, folder 15

LRL Reports and Misc. - Lawrence Radiation Labs, 1957-1963, (blueprints, reports)

box 11

Operating notes, memos, program listing, reprints, 1964-1979

box 11

LISP manuals

box 11, folder 16

Rancho Arm, 1966-1968, (correspondence, subcontract)

box 11, folder 17

III Eye, 1966-1970, (correspondence, subcontract and amendment)

box 11, folder 18

ARDS - Advanced Remote Display Station, 1968-1970, (price list, reports, manuals, brochures)

box 11

Manuals, IMLAC Corp.

box 11, folder 19

DEC - Digital Equipment Corp., 1965-1971, (correspondence, subcontract, memos, product specifications0

box 11

3 technical reports, non-Stanford, 1962-1970

box 12

Manuals, catalogs, journals, miscellaneous information on Robert Poor, 1964-1979

box 13, folder 1

E. E. Stores - Electrical Engineering Stores, 1968-1969, (lists, forms, memos)

box 13, folder 2

Speech Notes, 1969, (articles)

box 13

Catalog, brochures, proposals, diagrams, memos, correspondence, reports, 1965-1970

box 13

Proposals, manual, 1967-1970

box 13, folder 3

Librascope Log Notes, 1963-1971, (program listing, notes, correspondence, diagrams, log, lists, blueprints)

box 13

Manual 1970

box 13

Proposal 1970

box 13, folder 4

Core RFP - Core Request For Proposal, 1967, (specifications, proposals)

box 13, folder 5

III Display Proposal - Information International Inc. Display Proposal, 1966-1968, (proposal, notes, correspondence, character set, specifications)

box 13, folder 6

Straza Displays for PDP-6, 1964-1966, (correspondence, proposals, memos, request for proposal, notes, specifications, blueprints - Straza and other companies)

box 14, folder 1

Operating Notes 3-4, 1967-1969

box 14, folder 2

Operating Notes 5-7, 1967

box 14, folder 3

Operating Note 8, 1967

box 14, folder 4

Operating Note 9, 1967

box 14, folder 5

Operating Notes 10-12, 1967

box 14, folder 6

Operating Notes 13-20, 1967

box 14, folder 7

Operating Notes 21-23, 1967-1969

box 14, folder 8

Operating Notes 24-26, 1967-1970

box 14, folder 9

Operating Note 27, 1967

box 14, folder 10

Operating Note 28.3 1969

box 14, folder 11

Operating Note 28.4 1970

box 14, folder 12

Operating Note 28.6

box 14, folder 13

Operating Note 28.7

box 14, folder 14

Operating Notes 29-31, 1967

box 14, folder 15

Operating Note 32, 1967

box 14, folder 16

Operating Notes 33-35, 1965-1968

box 14, folder 17

Operating Note 35.1 1969

box 14, folder 18

Operating Notes 36-37 1968

box 14, folder 19

Operating Notes 38-42 1968

box 14, folder 20

Operating Notes 43-45 1968

box 14, folder 21

Operating Notes 46-47 1968

box 14, folder 22

Operating Note 48 1968

box 14, folder 23

Operating Notes 49-50, 1969-1970

box 14, folder 24

Operating Note 51, 1969-1973

box 14, folder 25

Operating Notes 52-53 1969

box 14, folder 26

Operating Note 54

box 14, folder 27

Operating Note 54 1969

box 14, folder 28

Operating Note 54.3 1973

box 14, folder 29

Operating Note 54.4 1974

box 14, folder 30

Operating Note 55 1969

box 14, folder 31

Operating Note 55 1969

box 14, folder 32

Operating Note 55 1969

box 14, folder 33

Operating Note 55.3 1973

box 14, folder 34

Stanford Time-Sharing Memos, 1963-1965

Time-Sharing Memos: 1963-1965

box 15, folder 1

Operating Note 57.1 1970

box 15, folder 2

Operating Notes 58-59 1969

box 15, folder 3

Operating Note 60 1970

box 15, folder 4

Operating Note 63 1970

box 15, folder 5

Memo AI-66 1968

box 15, folder 6

Operating Note 71 1973

box 15, folder 7

Operating Note 71 1973

box 15, folder 8

Operating Note 73 1973

box 15

Reports, memos AIM - Stanford, 1972-1979

box 15

Reports, articles, 1975-1979

box 15

Articles, book, 1963-1966

box 15

Manuals, program listings, articles, reports, 1960-1964

box 16

Reports - non-Stanford, 1972-1985, 1960-1965

box 16

Journals, 1963-1964, 1979

box 17

Memo, manuals, notebook, reports, articles, 1955-1965

box 17

Reports - SRI, 1969-1979

box 17

Articles, list, 1956-1979

box 18

Reprints, 1953-1961

box 18

Articles, course description, 1981-1982

box 18

aisb - artificial intelligence and simulation of behavior - Quarterly, 1978-1983

box 18, folder 1

MIT Artificial Intelligence Memos, 1958-1962

box 18, folder 2

MIT Artificial Intelligence Memos, Feb-Apr 1963

box 18, folder 3

MIT Artificial Intelligence Memos, May-Jul 1963

box 18, folder 4

MIT Artificial Intelligence Memos, Oct-Dec 1963

box 18, folder 5

MIT Artificial Intelligence Memos, Jan-Sep 1964

box 18

Reports - MIT, 1968-1981

box 18, folder 6

Brochures, correspondence, proposals, 1965-1968

box 18

Brochures, proposals, 1966-1974

box 18

Two binders of diagrams - Digital Equipment Corp., 1961-1974

box 19

Binder of diagrams - Digital Equipment Corp., 1964-1967

box 19

Binder of diagrams - Digital Equipment Corp., 1961-1967

box 19, folder 1

DEC - Digital Equipment Corp. and BBN - Bolt, Beranek and Newman Corp. ECOs - Engineering Change Orders to PDP-10, 1969-1971 (stairclimber - blueprints, foldered ECOs)

box 19, folder 2

IBM 2314-A2, 1967-1969, (manuals)

box 19, folder 3

IBM 3330, 1971, (manual)

box 19, folder 4

DSKTST, 1966-1971, (program listings, articles)

box 19, folder 5

Ampex Interface, 1971, (notes, diagrams, article)

box 19, folder 6

TTY Multiplexer, 1971-1972, (blueprint, notes, diagrams)

box 19, folder 7

System Power Consumption, (notes)

box 19, folder 8

Stanford Instructional TV, 1971-1972, (notes, class schedule)

box 19, folder 9

Memory Bus Cables, Stanford Applied Engineering, 1965-1971, (notes, diagrams, blueprints, correspondence)

box 19, folder 10

Order forms

box 19, folder 11

Data Disc Keyboard and Teletype Information, 1967-1972

box 19, folder 12

Dvorak Keyboard, 1943, 1971-1977, (articles)

box 19, folder 13

Central Data, 1980, (brochure, reprints)

box 19, folder 14

Electronic Solutions, 1980, (brochure, price list)

box 19, folder 15

Spectronics, 1979-1980, (brochure, list, reprint)

box 19, folder 16

DCA - Digital Communications Associates, Inc., 1980, (letter, brochure)

box 19, folder 17

UDS - Universal Data Systems, 1976-1980, (manual, brochures)

box 19, folder 18

Power-One, 1976-1981, (brochures)

box 19, folder 19

Manufacturers Representatives - line cards, 1980, (brochures)

box 19, folder 20

Maps, schedules, time tables, etc., (map)

box 19, folder 21

Clement Labs, 1980, (letter)

box 19, folder 22

Motorola Displays, 1978-1979, (brochure)

box 19, folder 23

Nationwide Electronic Systems, Inc., 1980, (letter, brochure)

box 19, folder 24

Airpax, 1978-1980, (letter, brochures)

box 19, folder 25

Douglas Randall, (brochures)

box 19, folder 26

Xsis Electronics, (brochure)

box 19, folder 27

Computrol Corp., 1980, (brochure)

box 19, folder 28

Ann Arbor Terminals, Inc., 1980, (letter, brochure)

box 19, folder 29

Motorola, Discrete Semiconductor Div., 1976, (brochures)

box 19, folder 30

Racal-Vadic, 1980, (brochure)

box 19, folder 31

Micom, 1980, (catalog)

box 19, folder 32

IDS - International Data Sciences, Inc., 1980, (price list)

box 19, folder 33

Paradyne, (brochure, price list)

box 19, folder 34

Moxon, 1980, (brochure)

box 19, folder 35

TV Antenna Information, 1979

box 19, folder 36

Vector Electronic Co., (brochure page)

box 19, folder 37

AMD - Advanced Micro Devices Inc., 1976-1979, (brochures)

box 19, folder 38

Synertek, Inc., 1978-1979, (specifications, brochure)

box 19, folder 39

Wire Wrap, 1969-1980, (brochures, article)

box 19, folder 40

Pro-Log, 1979-1980, (newsletter, reprint, brochures)

box 20

Binder of Digital Equipment Corp -DEC diagrams, 1964-1967

box 20

DEC Manual 1972

box 20

Two binders of DEC diagrams, 1961-1965

box 20

DEC Diagrams, loose, 1964-1971

box 20

Binder of lists

box 20

Binder of brochures

box 20

Binder of DEC diagrams, 1963-1965

box 20

Binder of DEC diagrams, 1959-1964

box 20

DEC Manuals, 1964, 1967

box 20

Russian Computer Connection - Russ. Comp. Con., 1985, (report - Stanford)

box 20

Russ. Comp. Con., 1959-1961, 1983-1986, (reports - non-Stanford)

box 21, folder 1

Russian Computer Connection - Russ. Comp. Con., 1962-1977, (reprints, newspaper, notes, correspondence)

box 21, folder 2

Russ. Comp. Con., 1958-1985, (reprints, magazines)

box 21, folder 3

Russ. Comp. Con., (photographs)

box 21, folder 4

Russ. Comp. Con., 1964, (envelopes, travel brochures, article)

box 21, folder 5

Russ. Comp. Con., 1966, (Rand documents)

box 21, folder 6

Russ. Comp. Con., 1966-1974, (correspondence, articles)

box 21, folder 7

Russ. Comp. Con., 1975, (Pacific Legal Foundation)

box 21, folder 8

Russ. Comp. Con., 1966-1972, (correspondence)

box 21, folder 9

Russ. Comp. Con., 1966, (article, miscellaneous)

box 21, folder 10

Russ. Comp. Con., 1966, (notes - Russian and English)

box 21, folder 11

Russ. Comp. Con., 1965-1975, (correspondence)

box 21, folder 12

Russ. Comp. Con., 1965-1971, (correspondence, articles)

box 21, folder 13

Russ. Comp. Con., 1965-1966, (correspondence, conference program)

box 21, folder 14

Russ. Comp. Con., 1964-1965, (agreement, US and USSR, scientific exchanges)

box 21, folder 15

Russ. Comp. Con., 1960-1966, (correspondence, list, program listing)

box 21, folder 16

Russ. Comp. Con., 1970, (map reprints, notes, photographs)

box 21, folder 17

Russ. Comp. Con., 1966-1970, (brochures, notes, articles, correspondence)

box 21, folder 18

Russ. Comp. Con., 1962-1966, (correspondence, reprints, article)

box 21, folder 19

Russ. Comp. Con., 1965-1972, (photographs, correspondence, articles)

box 21, folder 20

Russ. Comp. Con., 1971, 1973, (Rand documents)

box 21, folder 21

Russ. Comp. Con., 1972, (Rand documents)

box 21, folder 22

Russ. Comp. Con., 1972-1978, (misc. travel info., photograph with letter)

box 21, folder 23

Russ. Comp. Con., 1967, (Tata Institute of Fundamental Research, Bombay - articles)

box 21, folder 24

Russ. Comp. Con., 1969, (Tata Institute of Fundamental Research, Bombay - articles)

box 21, folder 25

Russ. Comp. Con., 1965, (reprint, articles)

box 21, folder 26

Russ. Comp. Con., 1966, 1970, (Computer chess - clippings)

box 21, folder 27

Russ. Comp. Con., 1967, (Computer chess - lists, program listing, notes)

box 21, folder 28

Russ. Comp. Con., (Russian article, notes)

box 21, folder 29

Russ. Comp. Con., 1967-1973, (Computer chess - notes, articles, correspondence)

box 21, folder 30

Russ. Comp. Con., 1963-1971, (Computer chess - program listing, lists, articles, correspondence)

box 21, folder 31

Russ. Comp. Con., 1978, (article, correspondence)

box 21, folder 32

Russ. Comp. Con., 1973, (Manfred Sakel Institute - correspondence, articles)

box 21, folder 33

Russ. Comp. Con., 1971, (Manfred Sakel Institute - correspondence, articles, lists)

box 21, folder 34

Russ. Comp. Con., 1970, (Manfred Sakel Institute - correspondence, articles, lists)

box 22

Brochures

box 22

1965, (student papers)

box 22, folder 1

1955-1963, (memo, LISP manual)

box 22, folder 2

1948-1956, (reprints, articles)

box 22, folder 3

1931-1958, (reprints, articles)

box 22, folder 4

1957, (report, article, handbook)

box 22

1946-1956, (reprints)

box 22

Three binders, (lecture notes, reports)

box 22, folder 5

1956-1957, (articles)

box 22

Four binders, 1956, (class-related notes)

box 22

Binder, 1956, (proposal)

box 22, folder 6

1958-1960, (memos, reprints)

box 22, folder 7

1954-1957, (articles, proposal, memo)

box 22, folder 8

1955, (articles, report)

box 22

Mathematics and Social Sciences, 1955, (binder)

box 22, folder 9

1951-1958, (articles)

box 22

1922-1960, (reprints)

box 23

Journals, 1951, 1962

box 23

Reports - non-Stanford, 1949-1959

box 23

Reports - non-Stanford, 1966-1979

box 24

1969, (article)

box 24

Reports - non-Stanford, 1966-1977

box 24

1965-1979, (reports, articles, reprints, dissertation)

box 24, folder 1

1979, (transparencies, article)

box 24, folder 2

Transparencies

box 24, folder 3

Slides for Circumscription, (transparencies)

box 24, folder 4

Circumscription, 1983-1984, (articles, transparencies)

box 24, folder 5

Circumscription Misc.

box 24, folder 6

Transparencies

box 25, folder 1

Conference on Art of Computer Programming, Nov 1978

box 25

Conference on Art of Computer Programming, Nov 1978, (program listing)

box 25, folder 2

Conference on Art of Computer Programming, Nov 1978, (articles, reprint, transparencies, notes)

box 25, folder 3

Conference on Art of Computer Programming, Nov 1978, Ershov correspondence

box 25, folder 4

Conference on Art of Computer Programming, Nov 1978, (articles, listing)

box 25, folder 5

Memos, articles, reprints, 1950-1956, journal, 1959

box 25, folder 6

1956-1970, (articles)

box 25

Binder, (memos)

box 25

Reports - Stanford, 1956-1961

box 25

Binder, 1960, (notes)

box 25, folder 7

1958, (articles)

box 25, folder 8

1956-1959, (articles)

box 25

Binder, 1956, (memos)

box 25

Reports - non-Stanford, 1954-1984

box 26, folder 1

Pony Cash Flow, 1977-1979

box 26, folder 2

Chron Binder 1, Aug 1979-Jan 1978

box 26, folder 3

Chron Binder 2, Jul 1978-Dec 1978

box 26, folder 4

Purchase Req., Chron, 1970-1980

box 26

Binder, Office Manual - Secretary, Part 2

box 26, folder 5

Capitol Equipment Binder, [1 of 3]

box 26, folder 6

Capitol Equipment Binder, [2 of 3]

box 26, folder 7

Capitol Equipment Binder, [3 of 3]

box 26, folder 8

Blanket Orders Binder, A-D

box 26, folder 9

Blanket Orders Binder, E-F

box 26, folder 10

Blanket Orders Binder, G-L

box 26, folder 11

Blanket Orders Binder, M-O

box 26, folder 12

Blanket Orders Binder, P-S

box 26, folder 13

Blanket Orders Binder, T-V

box 26, folder 14

Blanket Orders Binder, W-Z

box 26, folder 15

Blanket Orders Binder, Xerox Rental

box 26, folder 16

Orders

box 26, folder 17

Purchase Requisitions Binder

box 26, folder 18

Purchase Requisitions Binder, Feb 1984-Jan 1981, [1 of 4]

box 26, folder 19

Purchase Requisitions Binder, 1980, [2 of 4]

box 26, folder 20

Purchase Requisitions Binder, 1979, [3 of 4]

box 26, folder 21

Purchase Requisitions Binder, 1979-1978, [4 of 4]

box 26, folder 22

Completed Purchase Requisitions Binder, 1978-1979, [1 of 5]

box 26, folder 23

Completed Purchase Requisitions Binder, 1978-1979, [2 of 5]

box 26, folder 24

Completed Purchase Requisitions Binder, 1978-1979, [3 of 5]

box 26, folder 25

Completed Purchase Requisitions Binder, 1978-1979, [4 of 5]

box 26, folder 26

Completed Purchase Requisitions Binder, 1978-1979, [5 of 5]

box 26, folder 27

Completed Purchase Requisitions Binder 1, 1979-1980, [1 of 4]

box 26, folder 28

Completed Purchase Requisitions Binder 1, 1979-1980, [2 of 4]

box 26, folder 29

Completed Purchase Requisitions Binder 1, 1979-1980, [3 of 4]

box 26, folder 30

Completed Purchase Requisitions Binder 1, 1979-1980, [4 of 4]

box 26, folder 31

Completed Purchase Requisitions Binder 2, 1979-1980, [1 of 5]

box 26, folder 32

Completed Purchase Requisitions Binder 2, 1979-1980, [2 of 5]

box 26, folder 33

Completed Purchase Requisitions Binder 2, 1979-1980, [3 of 5]

box 26, folder 34

Completed Purchase Requisitions Binder 2, 1979-1980, [4 of 5]

box 26, folder 35

Completed Purchase Requisitions Binder 2, 1979-1980, [5 of 5]

box 27, folder 1

AI (Artificial Intelligence) Project and Misc., 1960's (proposals)

AI (Artificial Intelligence) Project and Misc. (proposals): 1960s

box 27, folder 2

AI Project and Misc., 1965-1974 (correspondence, memos)

AI Project and Misc. (correspondence, memos): 1965-1974

box 27, folder 3

AI Project and Misc., 1965-1966 (correspondence, memos)

AI Project and Misc. (correspondence, memos): 1965-1966

box 27, folder 4

AI Project and Misc., 1965-1966 (correspondence, memos, proposals)

AI Project and Misc., (correspondence, memos, proposals): 1965-1966

box 27, folder 5

AI Project and Misc., 1964-1968 (correspondence, memos)

AI Project and Misc. (correspondence, memos): 1964-1968

box 27, folder 6

Impact of Military Research on University, 1972 (articles, letter, notes)

Impact of Military Research on University (articles, letter, notes): 1972

box 27, folder 7

AI Research, Time-Sharing, Large Memory Computer, 1963-1965 (notes, proposals)

AI Research, Time-Sharing, Large Memory Computer (notes, proposals): 1963-1965

box 27, folder 8

Exploration of Mars and Misc., 1964-1965 (correspondence, reports, proposals)

Exploration of Mars and Misc. (correspondence, reports, proposals): 1964-1965

box 27, folder 9

Exploration of Mars/Extraterrestrial Life 1964-1965 (correspondence, reports, bibliography)

Exploration of Mars/Extraterrestrial Life (correspondence, reports, bibliography): 1964-1965

box 27, folder 10

Exploration of Mars/Extraterrestrial Life 1964-1965 (reports, memos)

box 27, folder 11

Mathematics, 1955-? (notes)

Mathematics (notes): circa 1955

box 27, folder 12

Mathematics, 1947-1948 (notes)

Mathematics (notes): 1947-1948

box 27, folder 13

Mathematics, (notes)

Mathematics, (notes): 1965-1970

box 27, folder 14

LISP, Public Affairs, 1965-1970 (reprint, list, articles)

LISP, Public Affairs (reprint, list, articles): 1965-1970

box 27, folder 15

Proposals Evaluated, 1965

Proposals Evaluated: 1965

box 27, folder 16

Mathematics, Chess, Misc., 1955-1956 (notes)

Mathematics, Chess, Misc. (notes): 1955-1956

box 27, folder 17

Dartmouth Mathematical Project ("On the Mathematical Aspects of the Aggregation Problem in the Leontief Open Model" and "A Generalization of the Von Neumann Model of an Expanding Economy")

Dartmouth Mathematical Project ("On the Mathematical Aspects of the Aggregation Problem in the Leontief Open Model" and "A Generalization of the Von Neumann Model of an Expanding Economy")

box 27, folder 18

Chess, Misc. (notes)

Chess, Misc. (notes)

box 27, folder 19

MIT AI Group, Chess, Language (notes)

MIT AI Group, Chess, Language (notes)

box 27, folder 20

Epistemology, Language, Lectures (articles, notes)

Epistemology, Language, Lectures (articles, notes)

box 27, folder 21

IFIP (International Federation for Information Processing), 1964 [1 of 2]

IFIP (International Federation for Information Processing) [1 of 2]: 1964

box 27, folder 22

IFIP, 1964 [2 of 2]

IFIP [2 of 2]: 1964

box 27, folder 23

Misc., ALGOL, Time-Sharing, 1959-1965 (correspondence, articles, newsletter)

Misc., ALGOL, Time-Sharing (correspondence, articles, newsletter): 1959-1965

box 27, folder 24

Advice-Taker (print-out, correspondence, article)

Advice-Taker (print-out, correspondence, article)

box 27, folder 25

Notes, 1946-1956? [1 of 5]

Notes [1 of 5]: 1946-1956

box 27, folder 26

Notes, 1946-1956? [2 of 5]

Notes [2 of 5]: 1946-1956

box 27, folder 27

Notes, 1946-1956? [3 of 5]

Notes [3 of 5]: 1946-1956

box 27, folder 28

Notes, 1946-1956? [4 of 5]

Notes [4 of 5]: 1946-1956

box 27, folder 29

Notes, 1946-1956? [5 of 5]

Notes [5 of 5]: 1946-1956

box 27, folder 30

Computation, 1961 (articles, proposal request)

Computation (articles, proposal request): 1961

box 27, folder 31

Mathematics (notes)

Mathematics (notes)

box 27, folder 32

Space Science Board - Exobiology Study, 1964 (correspondence, reports) [1 of 2]

Space Science Board - Exobiology Study, 1964 (correspondence, reports) [1 of 2]: 1964

box 27, folder 33

Space Science Board - Exobiology Study, 1964 (correspondence, reports) [2 of 2]

Space Science Board - Exobiology Study, 1964 (correspondence, reports) [2 of 2]: 1964

box 28

Binder, 1971-1972 (articles)

box 28, folder 1

Russian Documents 1968 1972

box 28, folder 2

Chinese Documents (reprints, contracts, magazine)

box 28, folder 3

Language, 1958 (notes, articles) [1 of 2]

box 28, folder 4

Language, 1958 (notes, articles) [2 of 2]

box 28, folder 5

Multi-Processor Computers, 1965 (notes, articles)

box 28, folder 6

Language, LISP

box 28, folder 7

Language, Symbolic Expressions, LISP (articles, notes) [1 of 4]

box 28, folder 8

Language, Symbolic Expressions, LISP (articles, notes) [2 of 4]

box 28, folder 9

Language, Symbolic Expressions, LISP (articles, notes) [3 of 4]

box 28, folder 10

Language, Symbolic Expressions, LISP (articles, notes) [4 of 4]

box 28

Glasnost, 1987-1990 (7 issues)

box 28

Computer Science Division Technical Reports, 1964-1966

box 28

Miscellaneous, 1961-1964

box 28

Student Papers, 1960-1962

box 29

Student Papers, 1962-1965

box 29

MIT, 1958-1963 (proposal, publications, reports)

box 29

Miscellaneous, 1959-1960 (reports, brochures)

box 30

Miscellaneous, 1961-1964 (reports, brochures, publications)

box 30

Computer Reference Manuals, 1973-1976

box 30

LOTS (Stanford Low Overhead Timesharing System) Manuals, 1978

box 30

ARPA Contractors Meeting, Dec 1971

box 31

ARPA Contractors Meeting, Feb 1971

box 31

ARPA Contractors Meeting, Jan 1973

box 31

ARPA Contractors Meeting, Feb 1974

box 31

Association of Energy Engineers Meeting, "Energy - The New Rules," 1979

box 31

"The Future Study on the Impact of Computers and Information Processing," 1976 (draft report)

box 31

"Advanced Digital Processor Technology Base Development For Navy Applications: The S-1 Project," Sep 1977 (report)

box 32

"Advanced Digital Processor Technology Base Development For Navy Applications: The S-1 Project," Sep 1978 (report)

box 32

S-1 Architecture Manual, Jan 1979

box 32

SRA (Science Research Association) Management Briefing," 1987 (videotape)

box 32

"High Def. TV Seminar: Dr. John McCarthy," 1989 (videotape)

box 32

"Artificial Intelligence and Electronic Data Exchange," (videotape)

box 32

Transitions Research Corp., "NASA Phase II SBIR Final Report Video," May 1990

box 32

"Helpmate Update," Jun 1990 (videotape)

box 32

Two reels of film, unidentified

box 32

"Carry Tape Dump of Peano:> JMC > ** > ***," 1987 (data cartridge)

box 32

"Research Directions in Software Technology," ed. Peter Wegner, The MIT Press, 1979

box 33

"JMC Lib DUMP," June 1978 (correspondence, articles, program listings)

box 34

"JMC Lib DUMP," June 1978 (correspondence, articles, program listings)

box 35

"Microcode #534, 9 trk, 800 BPI, Digital Equipment Corp., 1976 (magnetic tape)

box 35

"System: 1026; Contents: SUDS FAILSAFE 1, 2; Nov 29, 1975; 7trk, 800 BPI, Drive: MTA1; STR: DSK; Who: Helliwell," (magnetic tape)

box 35

"Stanford Comp. Ctr., copy of #295, 4/15" (magnetic tape)

box 35

"Mag 19, 2/67; 7 trk, 800 BPI (magnetic tape)

box 36

Audio cassettes:

box 36

"Machines with Minds" - program 1, March 11, 1983

box 36

"Machines with Minds"- program 2, March 11, 1983

box 36

"Machines with Minds" - program 3, March 18, 1983

box 36

"Machines with Minds" - program 4, March 25, 1983

box 36

"Machines with Minds" - program 5, March 30, 1983

box 36

Jerrold Katz, "An Outline of Platonist Grammar" - TIN Lunch, April 9, 1984

box 36

AAAI Presidential Speech, 8/9/84, Tape I

box 36

AAAI Presidential Speech, 8/9/84, Tape II

box 36

IJCA.SPE[e 85, jmc]

box 36

John McCarthy side of interview with Wally Johns of Christian Science Monitor radio

box 37

Stanford A. I. Foonly Group. Wire-wrap card designs, n.d.

box 37

Earnest Video Switch--wiring diagrams 1971

 

Additional Material Accession ARCH-1996-060

box 1, folder 1

M.I.T. correspondence, papers, memos, booklets

box 1, folder 2

M.I.T. booklets, memos, reports

box 1, folder 3

Mathematical Reviews

box 1, folder 4

Requests for Publication

box 1, folder 5

Untitled

box 1, folder 6

Texas, Univ. of

box 1, folder 7

US Exchange Program with USSR

box 1, folder 8

Electrical Engineering Meetings

box 1, folder 9

Other Comp. Sci. Dept

box 1, folder 10

Natasha [Rodman]

box 1, folder 11

Meeting

box 1, folder 12

Math Reviews

box 1, folder 13

References [letters of]

box 1, folder 14

Correspondence

box 1, folder 15

Correspondence

box 2, folder 1

Correspondence 1966 Oct-1967 Dec

box 2, folder 2

POP-1 to India

box 2, folder 3

Computer Science Exams--University of Edinburgh

box 2, folder 4

Comp. Sci. Dept. Meetings

box 2, folder 5

Correspondence 1967-1968

box 2, folder 6

HAND

box 2, folder 7

General correspondence

box 2, folder 8

FUND

box 2, folder 9

EYE

box 2, folder 10

Ito, Takayasu

box 2, folder 11

FOL Manual

box 2, folder 12

Unfunded Proposals

box 2, folder 13

Unfunded Proposals

box 3, folder 1

Unfunded Proposals

box 3, folder 2

Photographs

box 3, folder 3

Student papers

box 3, folder 4

McCarthy "Technology and the Enhancement of Man" 1973

Technology and the Enhancement of Man

box 3, folder 5

Computer Printouts

box 3, folder 6

Multilisp manuals

box 3, folder 7

LOTS

box 3, folder 8

Stanford LISP 1.6 Manual

box 4, folder 1

Stanford Artificial Intelligence Laboratory: various reports, manuals, memos 1958-1982

box 4, folder 2

"Global Trends in Computer Technology and Their Impact on Export Control," Committee to Study International Development in Computer Science and Technology, 1988

box 4, folder 3

Various manuals and technical reports by Stanford and other institutions 1972-1983

box 4, folder 4

Books and reports not in Russian and French

box 4, folder 5

Notebook: Stanford personnel information

box 4, folder 6

Notebook: Office manual, secretary

box 4, folder 7

Xerox: Technical Review Panel Meeting at Palo Alto Research Center (notebook) 1974 Nov

box 5

Memorabilia (certificates and plaques)

box 5

Note cards, audio cassette, four computer tapes

box 5

MACLISP Reference Manual 1977

box 6

Honorary Doctorate, Universidad Politécnica de Madrid 1991 Jan 28

 

Additional Material Accession ARCH-1999-053

box 1

Home Terminals Revisited

 

Additional Material Accession ARCH-2008-356

box 1

Honorary degree from Harvard 2008

 

Additional Material [computer files] Accession ARCH-2009-218 circa 1975-2008

Physical Description: 1689.6 megabyte(s)
Physical Description: 22769 computer files saved as two Unix .tar files.

Conditions Governing Access

The materials are restricted.
 

Celebration of John McCarthy's Accomplishments [computer files] Accession ARCH-2012-040 2012 Mar 25

Physical Description: 218 megabyte(s)(161 files in 13 directories)
 

Website 2010-2017

Websites

Physical Description: 60.6 megabyte(s)(5,497 files in 206 directories)
 

Additional Material Accession ARCH-2012-055

 

Chronological Files

 

Correspondence 1979

box 1, folder 2

1979

box 1, folder 3

1980

box 1, folder 4

1980

box 1, folder 5

1981

box 1, folder 6

1981

box 1, folder 7

1982

box 1, folder 8

1982

box 1, folder 9

1982

box 1, folder 10

1983

box 1, folder 11

1983

box 1, folder 12

1983

box 1, folder 13

1983

box 1, folder 14

1983

box 1, folder 15

1983

box 2, folder 1

Jan 1984-Aug 84 (1 of 2)

box 2, folder 2

Jan 1984-Aug 84 (2 of 2)

box 2, folder 3

September 1984

box 2, folder 4

October 1984 (1 of 3)

box 2, folder 5

October 1984 (2 of 3)

box 2, folder 6

October 1984 (3 of 3)

box 2, folder 7

November 1984-Dec 84 (1 of 2)

box 2, folder 8

November 1984-Dec 84 (2 of 2)

box 2, folder 9

January 85

box 2, folder 10

Mar-May 1985 (1 of 2)

box 2, folder 11

Mar-May 1985 (2 of 2)

box 2, folder 12

February 1985

box 3, folder 1

May 1985 (1 of 2)

box 3, folder 2

May 1985 (2 of 2)

box 3, folder 3

June 1985 (1 of 2)

box 3, folder 4

June 1985 (2 of 2)

box 3, folder 5

July 1985

box 3, folder 6

Aug 22/1985 (1 of 2)

box 3, folder 7

Aug 22/1985 (2 of 2)

box 3, folder 8

Aug 1985

box 3, folder 9

Sept 85

box 3, folder 10

November 1985 (1 of 2)

box 3, folder 11

November 1985 (2 of 2)

box 3, folder 12

December 1985

box 3, folder 13

January 86 (1 of 2)

box 3, folder 14

January 86 (2 of 2)

box 3, folder 15

February 1986

box 4, folder 1

March 86 (1 of 2)

box 4, folder 2

March 86 (2 of 2)

box 4, folder 3

April 86 (1 of 4)

box 4, folder 4

April 86 (2 of 4)

box 4, folder 5

April 86 (3 of 4)

box 4, folder 6

April 86 (4 of 4)

box 4, folder 7

May-June 5 1986

box 4, folder 8

June 24 - August 31, 1986

box 4, folder 9

0725E86 - July 86

box 4, folder 10

0715E85 - July 86

box 4, folder 11

0710E86 - July 86

box 4, folder 12

0707E86 - July 86

box 4, folder 13

September 1986 (1 of 2)

box 4, folder 14

September 1986 (2 of 2)

box 4, folder 15

October 1986

box 4, folder 16

Nov 1986

box 4, folder 17

December 1986 (1 of 2)

box 4, folder 18

December 1986 (2 of 2)

box 5, folder 1

January 1987

box 5, folder 2

12/16/86 - 12/31/86 (1 of 3)

box 5, folder 3

12/16/86 - 12/31/86 (2 of 3)

box 5, folder 4

12/16/86 - 12/31/86 (3 of 3)

box 5, folder 5

Feb March 1987 (1 of 2)

box 5, folder 6

Feb March 1987 (2 of 2)

box 5, folder 7

March 18, 1987

box 5, folder 8

April 1987 (1 of 3)

box 5, folder 9

April 1987 (2 of 3)

box 5, folder 10

April 1987 (3 of 3)

box 5, folder 11

May 1987 (1 of 2)

box 5, folder 12

May 1987 (2 of 2)

box 5, folder 13

June 1987

box 5, folder 14

July 1987

box 6, folder 1

August 14, 1987 (1 of 2)

box 6, folder 2

August 14, 1987 (2 of 2)

box 6, folder 3

August 15, 1987 (1 of 3)

box 6, folder 4

August 15, 1987 (2 of 3)

box 6, folder 5

August 15, 1987 (3 of 3)

box 6, folder 6

August 28-9, 1987 (1 of 2)

box 6, folder 7

August 28-9, 1987 (2 of 2)

box 6, folder 8

August 30-31, 1987 (1 of 3)

box 6, folder 9

August 30-31, 1987 (2 of 3)

box 6, folder 10

August 30-31, 1987 (1 of 3)

box 6, folder 11

October 1987 File 1

box 6, folder 12

October 1987 File 2

box 6, folder 13

October 1987 File 3

box 6, folder 14

October 1987 File 4

box 7, folder 1

October 1987 File 3

box 7, folder 2

November 1987

box 7, folder 3

November 1987

box 7, folder 4

November 1987

box 7, folder 5

December 1987

box 7, folder 6

December 1987

box 7, folder 7

December 1987

box 7, folder 8

December 1987

box 7, folder 9

March 1988

box 7, folder 10

February 1988

box 7, folder 11

January 1988

box 7, folder 12

March 20, 1988

box 7, folder 13

March 1988

box 7, folder 14

March 25, 1988

box 7, folder 15

May 13, 1988

box 8, folder 1

May 14, 1988

box 8, folder 2

May 25, 1988

box 8, folder 3

May 26, 1988

box 8, folder 4

June 22, 1988

box 8, folder 5

June 23, 1988

box 8, folder 6

July 10, 1988

box 8, folder 7

July 12, 1988

box 8, folder 8

July 14, 1988

box 8, folder 9

July 16, 1988

box 8, folder 10

July 18, 1988

box 8, folder 11

September 6, 1988

box 8, folder 12

October 3, 1988

box 9, folder 1

October 4, 1988

box 9, folder 2

October 15, 1988 (1 of 2)

box 9, folder 3

October 15, 1988 (2 of 2)

box 9, folder 4

November 1988

box 9, folder 5

December 1988 (1 of 2)

box 9, folder 6

December 1988 (2 of 2)

box 9, folder 7

January 1989 (1 of 5)

box 9, folder 8

January 1989 (2 of 5)

box 9, folder 9

January 1989 (3 of 5)

box 9, folder 10

January 1989 (4 of 5)

box 9, folder 11

January 1989 (5 of 5)

box 9, folder 12

February 1989 (1 of 3)

box 9, folder 13

February 1989 (2 of 3)

box 9, folder 14

February 1989 (3 of 3)

box 10, folder 1

2003 Dec L

box 10, folder 2

2003 Dec. M

box 10, folder 3

2004 Mar A

box 10, folder 4

2004 Mar. B

box 10, folder 5

2004 Mar. C

box 10, folder 6

2004 Mar. D

box 10, folder 7

2004 Apr. A

box 10, folder 8

2004 Mar. E

box 10, folder 9

2004 May A

box 10, folder 10

2004 May B

box 10, folder 11

2004 Jun. A

box 10, folder 12

2004 Jun. B

box 11, folder 1

2004 Jun. C

box 11, folder 2

2004 June D (1 of 2)

box 11, folder 3

2004 Jun D (2 of 2)

box 11, folder 4

ARPA Reports

box 11, folder 5

2004 Jun E-2

box 11, folder 6

Elephant

box 11, folder 7

Data Mining Slides

box 11, folder 8

2004 Jun F-1

box 11, folder 9

1979 Notes - Linguistics

box 11, folder 10

2004 Jun F-3

box 11, folder 11

Humar

box 11, folder 12

2004 Jun F-5

box 11, folder 13

2004 Jun-G

box 11, folder 14

2004 Jun-H

box 11, folder 15

2004 Jun H (2 of 2)

box 11, folder 16

2004 Jun I

box 11, folder 17

2004 Jul A

box 11, folder 18

Lisp Book

box 11, folder 19

2004 July B

box 11, folder 20

2004 July C

box 11, folder 21

Chess

box 13, folder 1

May 91 (1 of 2)

box 13, folder 2

May 91 (2 of 2)

box 13, folder 3

Jun 91

box 13, folder 4

Jul 91

box 13, folder 5

Jul 91 (2)

box 13, folder 6

August 91

box 13, folder 7

Sep 91 (1 of 2)

box 13, folder 8

Sep 91 (2 of 2)

box 13, folder 9

Sep 91 (3)

box 13, folder 10

Oct 91

box 13, folder 11

Dec 91

box 13, folder 12

Jan 92 (1 of 2)

box 13, folder 13

Jan 92 (2 of 2)

box 13, folder 14

Jan 92 (2) (1 of 2)

box 13, folder 15

Jan 92 (2) (2 of 2)

box 13, folder 16

Feb 92 (1 of 2)

box 13, folder 17

Feb 92 (2 of 2)

box 13, folder 18

Mar 92

box 14, folder 1

April 92 1

box 14, folder 2

April 92 2

box 14, folder 3

April 92 3

box 14, folder 4

April 92 4

box 14, folder 5

April 92 5

box 14, folder 6

April 92 6

box 14, folder 7

April 92 7

box 14, folder 8

April 92 8

box 14, folder 9

April 92 9

box 14, folder 10

May 92 1

box 14, folder 11

May 92 2

box 14, folder 12

May 92 3

box 15, folder 1

May 92

box 15, folder 2

Jun 92 1

box 15, folder 3

Jun 92 2

box 15, folder 4

Jun 92 3

box 15, folder 5

Jul 92

box 15, folder 6

Aug 92 1

box 15, folder 7

Aug 92 2

box 15, folder 8

Aug 92 3

box 15, folder 9

Sep 92 (1 of 2)

box 15, folder 10

Sep 92 (2 of 2)

box 15, folder 11

Oct 92 1

box 15, folder 12

Oct 92 2

box 15, folder 13

Oct 92 3

box 15, folder 14

Dec 92 1

box 15, folder 15

Dec 92 2

box 16, folder 1

Dec 92

box 16, folder 2

November 93 (1 of 3)

box 16, folder 3

November 93 (2 of 3)

box 16, folder 4

November 93 (3 of 3)

box 16, folder 5

Dec 93

box 16, folder 6

Jan 94

box 16, folder 7

Feb 94 (1 of 3)

box 16, folder 8

Feb 94 (2 of 3)

box 16, folder 9

Mar 94

box 16, folder 10

Apr 94 1

box 16, folder 11

Apr 94 2

box 16, folder 12

Apr 94 3

box 16, folder 13

Apr 94 4

box 16, folder 14

Apr 94 5

box 17, folder 1

May 94 (1 of 2)

box 17, folder 2

May 94 (2 of 2)

box 17, folder 3

June 94

box 17, folder 4

July 94

box 17, folder 5

Aug 94

box 17, folder 6

Jan 95

box 17, folder 7

Mar 95 1

box 17, folder 8

Mar 95 2

box 17, folder 9

Mar 95 3

box 17, folder 10

Mar 95 4

box 17, folder 11

Mar 95 5

box 17, folder 12

Mar 95 6

box 17, folder 13

April 95 1

box 17, folder 14

April 95 2

box 17, folder 15

April 95 3

box 17, folder 16

May 95

box 18, folder 1

May 95 1

box 18, folder 2

May 95 2

box 18, folder 3

May 95 3

box 18, folder 4

May 95 4

box 18, folder 5

May 95 5

box 18, folder 6

May 95 6

box 18, folder 7

June 95 1

box 18, folder 8

June 95 2

box 18, folder 9

June 95 3

box 18, folder 10

June 95 4

box 18, folder 11

June 95 5

box 18, folder 12

Aug 1995 (1 of 2)

box 18, folder 13

Aug 1995 (2 of 2)

box 18, folder 14

Sept 95 (1 of 3)

box 18, folder 15

Sept 95 (2 of 3)

box 18, folder 16

Sept 95 (3 of 3)

box 19, folder 1

Oct 95

box 19, folder 2

Nov 95

box 19, folder 3

Dec 95

box 19, folder 4

Feb 96 1

box 19, folder 5

Feb 96 2

box 19, folder 6

Feb 96 3

box 19, folder 7

Feb 96 4

box 19, folder 8

Feb 96 5

box 19, folder 9

Feb 96 6

box 19, folder 10

Feb 96 7

box 19, folder 11

Feb 96 8

box 19, folder 12

Feb 96 9

box 19, folder 13

Feb 96 10

box 19, folder 14

Feb 96 11

box 20, folder 1

Feb 96 12

box 20, folder 2

Feb 96 13

box 20, folder 3

Feb 96 14

box 20, folder 4

Feb 96 15

box 20, folder 5

Feb 96 16

box 20, folder 6

Feb 96 17

box 20, folder 7

Feb 96 18

box 20, folder 8

Mar 96 1

box 20, folder 9

Mar 96 2

box 20, folder 10

April 96 1

box 20, folder 11

April 96 2

box 20, folder 12

April 96 3

box 20, folder 13

May 1996 (1 of 2)

box 20, folder 14

May 1996 (2 of 2)

box 20, folder 15

June 1996

box 20, folder 16

July 1996

box 21, folder 1

March 1989 (1 of 2)

box 21, folder 2

March 1989 (2 of 2)

box 21, folder 3

April 1989 (1 of 2)

box 21, folder 4

April 1989 (2 of 2)

box 21, folder 5

May 1989 (1 of 3)

box 21, folder 6

May 1989 (2 of 3)

box 21, folder 7

May 1989 (3 of 3)

box 21, folder 8

June 1989 (1 of 3)

box 21, folder 9

June 1989 (2 of 3)

box 21, folder 10

June 1989 (3 of 3)

box 21, folder 11

July 1989 (1 of 2)

box 21, folder 12

July 1989 (2 of 2)

box 21, folder 13

August 1989

box 22, folder 1

September 1989 (1 of 2)

box 22, folder 2

September 1989 (2 of 2)

box 22, folder 3

October 1989 1

box 22, folder 4

October 1989 2

box 22, folder 5

October 1989 3

box 22, folder 6

October 1989 4

box 22, folder 7

November 1989

box 22, folder 8

December 1989

box 22, folder 9

January 1990 1

box 22, folder 10

January 1990 2

box 22, folder 11

January 1990 3

box 22, folder 12

January 1990 4

box 22, folder 13

January 1990 5

box 22, folder 14

January 1990 6

box 23, folder 1

February 1990

box 23, folder 2

May 1990

box 23, folder 3

June 1990 (1 of 2)

box 23, folder 4

June 1990 (2 of 2)

box 23, folder 5

July 1990 1

box 23, folder 6

July 1990 2

box 23, folder 7

July 1990 3

box 23, folder 8

August 1990 1

box 23, folder 9

August 1990 2

box 23, folder 10

October 1990

box 23, folder 11

November 1990 1

box 23, folder 12

November 1990 2

box 23, folder 13

November 1990 3

box 23, folder 14

November 1990 4

box 23, folder 15

November 1990 5

box 24, folder 1

November 1990 6

box 24, folder 2

November 1990 7

box 24, folder 3

November 1990 8

box 24, folder 4

November 1990 9

box 24, folder 5

November 1990 10

box 24, folder 6

March 1990 1

box 24, folder 7

March 1990 2

box 24, folder 8

March 1990 3

box 24, folder 9

December 1990 1

box 24, folder 10

December 1990 2

box 24, folder 11

December 1990 3

box 24, folder 12

December 1990 4

box 24, folder 13

December 1990 5

box 25, folder 1

December 1990 6

box 25, folder 2

December 1990 7

box 25, folder 3

December 1990 8

box 25, folder 4

December 1990 9

box 25, folder 5

December 1990 10

box 25, folder 6

December 1990 11

box 25, folder 7

January 1991 1

box 25, folder 8

January 1991 2

box 25, folder 9

January 1991 3

box 25, folder 10

March 1991

box 25, folder 11

April 1991

box 25, folder 12

May 1991 (1 of 2)

box 25, folder 13

May 1991 (2 of 2)

box 26, folder 1

January 1993 1

box 26, folder 2

January 1993 2

box 26, folder 3

January 1993 3

box 26, folder 4

January 1993 4

box 26, folder 5

February 1993

box 26, folder 6

March 1993

box 26, folder 7

April 1993 1

box 26, folder 8

April 1993 2

box 26, folder 9

April 1993 3

box 26, folder 10

May 1993

box 26, folder 11

June 1993 1

box 26, folder 12

June 1993 2

box 26, folder 13

June 1993 3

box 26, folder 14

June 1993 4

box 27, folder 1

NWSMC June 23-24 1993

box 27, folder 2

July 1993 (1 of 2)

box 27, folder 3

July 1993 (2 of 2)

box 27, folder 4

August 1993

box 27, folder 5

Sept 1993

box 27, folder 6

October 1993 1

box 27, folder 7

October 1993 2

box 27, folder 8

October 1993 3

box 27, folder 9

January 1998

box 27, folder 10

February/March 1998

box 27, folder 11

April 1998

box 27, folder 12

May 1998

box 27, folder 13

June 1998

box 27, folder 14

July 1998

box 27, folder 15

Sept 1998

box 27, folder 16

October 1998

box 27, folder 17

November 1998 (1 of 2)

box 27, folder 18

November 1998 (2 of 2)

box 28, folder 1

August 1996

box 28, folder 2

September 1996

box 28, folder 3

October 1996

box 28, folder 4

November 1996

box 28, folder 5

December 1996

box 28, folder 6

January 1997

box 28, folder 7

March 1997

box 28, folder 8

May 1997 (1 of 3)

box 28, folder 9

May 1997 (2 of 3)

box 28, folder 10

May 1997 (3 of 3)

box 28, folder 11

June 1997

box 28, folder 12

August 1997 1

box 28, folder 13

August 1997 2

box 28, folder 14

August 1997 3

box 28, folder 15

August 1997 4

box 29, folder 1

September 1997

box 29, folder 2

October 1997

box 29, folder 3

November 1997

box 29, folder 4

December 1997

box 30, folder 1

January 1999 (1 of 3)

box 30, folder 2

January 1999 (2 of 3)

box 30, folder 3

January 1999 (3 of 3)

box 30, folder 4

February 1999 (1 of 2)

box 30, folder 5

February 1999

box 30, folder 6

March 1999

box 30, folder 7

May 1999

box 30, folder 8

July 1999

box 30, folder 9

August '99

box 30, folder 10

September '99

box 30, folder 11

Flavell

box 30, folder 12

November 1999

box 30, folder 13

Time Blind

box 30, folder 14

December 1999

box 30, folder 15

January 2000

box 30, folder 16

February 2000

box 30, folder 17

March 2000

box 30, folder 18

Quantum

box 30, folder 19

Kurklu

box 30, folder 20

May 2000

box 31, folder 1

June 2000 (1 of 2)

box 31, folder 2

June 2000 (2 of 2)

box 31, folder 3

July 2000

box 31, folder 4

August 2000

box 31, folder 5

September 2000

box 31, folder 6

October 2000

box 31, folder 7

November 2000

box 31, folder 8

December 2000 (1 of 2)

box 31, folder 9

December 2000 (2 of 2)

box 31, folder 10

Jan 2001

box 31, folder 11

Feb-March 2001

box 31, folder 12

April 2001

box 31, folder 13

May 2001

box 31, folder 14

July 2001

box 31, folder 15

October 2001 (Part 1)

box 31, folder 16

October 2001 (Part 2)

box 31, folder 17

November 2001

box 31, folder 18

December 2001 Part 1

box 31, folder 19

December 2001 Part 2

box 31, folder 20

December 2001 Part 3

box 31, folder 21

Jan 2002

box 31, folder 22

Chron April 2002

box 32, folder 1

Sept 2002 (1 of 3)

box 32, folder 2

Sept 2002 (2 of 3)

box 32, folder 3

Sept 2002 (3 of 3)

box 32, folder 4

January 2003

box 32, folder 5

May 2003

box 32, folder 6

July 2003

box 32, folder 7

December 2003 1

box 32, folder 8

December 2003 2

box 32, folder 9

December 2003 3

box 32, folder 10

December 2003 4

box 32, folder 11

December 2003 5

box 32, folder 12

December 2003 6

box 32, folder 13

December 2003 7

box 32, folder 14

December 2003 8

box 32, folder 15

December 2003 9

 

Non-Monotone Reasoning files

box 29, folder 5

Non-Mono Dups A-F

box 29, folder 6

Non-Mono Dups G-L

box 29, folder 7

Non-Mono Dups M-S

box 29, folder 8

Non-Mono M-S

box 29, folder 9

Non-Mono T-Z

box 29, folder 10

Non-Monotonic Reasoning

box 29, folder 11

Nonmonotonic Library

box 29, folder 12

Non-Mono A-F

box 29, folder 13

Non-Mono G-L

 

Alpha Files

box 29, folder 14

Albus, James S.

box 29, folder 15

Abbott, Russell J.

box 29, folder 16

Aczel, Peter

box 29, folder 17

Ajenstat, Henri

box 29, folder 18

Allen, F. E.

box 29, folder 19

Allen, John

box 29, folder 20

Ambler, Allen L.

box 29, folder 21

Andrews, Peter

box 29, folder 22

Anisimov

box 29, folder 23

Antoni, Giovanni D.

box 29, folder 24

Ashcroft, E. A.

box 29, folder 25

Aspvall, Bengt

box 29, folder 26

AAAI

box 29, folder 27

AAAI Workshops

box 29, folder 28

ABL

box 29, folder 29

ACM

box 29, folder 30

Access to Energy

box 29, folder 31

AI Project Admin

box 29, folder 32

Abstract Syntax and Semantics of Programs To Go

box 29, folder 33

Academic Council

box 33, folder 1

Advice Taken

box 33, folder 2

Algebraic Simplification

box 33, folder 3

Air Sickness Bags

box 33, folder 4

Airline

box 33, folder 5

Alaska

box 33, folder 6

Algebraic Language

box 33, folder 7

ALGOL (1 of 2)

box 33, folder 8

ALGOL (2 of 2)

box 33, folder 9

Ambiguity Tolerance

box 33, folder 10

Appointments

box 33, folder 11

April 1979

box 33, folder 12

Miscellaneous 1977-1979

box 33, folder 13

Arnold, R. David

box 33, folder 14

Colby

box 33, folder 15

Crocker

box 33, folder 16

Tesler, L.G.

box 33, folder 17

Wagner, Todd

box 33, folder 18

Weiner, Peter

box 33, folder 19

Elschlager, R.

box 33, folder 20

Ginsparg, Jerrold

box 33, folder 21

Harvey, Brian

box 33, folder 22

Levy, David

box 33, folder 23

Sintzoff, Michel

box 33, folder 24

Stark, W. Richard

box 33, folder 25

Swinehart, Dan

box 33, folder 26

ARPA

box 33, folder 27

Assignments

box 33, folder 28

Automated Biological Lab with Glazer, Minsky

box 33, folder 29

Ascribing

box 33, folder 30

Baker, T.P.

box 33, folder 31

De Bakker, J.W.

box 33, folder 32

Barringer, H.

box 33, folder 33

Barzden, J.M.

box 33, folder 34

Baskett, Forest

box 33, folder 35

Bauer, F.L.

box 33, folder 36

Bibel, Wolfgang

box 33, folder 37

Bledsoe, W.W.

box 33, folder 38

Bobrow, Daniel G.

box 33, folder 39

Bochmann, Gregor

box 33, folder 40

Bosack, L.

box 33, folder 41

Bourbaki, Nicholas (Peter?)

box 33, folder 42

Bayer

box 33, folder 43

Brooks

box 33, folder 44

Buchanan

box 33, folder 45

Bukovsky

box 33, folder 46

Bulnes

box 33, folder 47

Burstall

box 33, folder 48

Buvac, Sasa

box 33, folder 49

Bad Ideas

box 33, folder 50

Barwise

box 34, folder 1

Bibliography

box 34, folder 2

Biography

box 34, folder 3

Book

box 34, folder 4

Brattle Research re: MAD Intelligent Systems

box 34, folder 5

Britannica

box 34, folder 6

Budget

box 34, folder 7

Cartwright

box 34, folder 8

Cheeseman, Peter

box 34, folder 9

Budget

box 34, folder 10

Chin, David Ngi

box 34, folder 11

Chou, Shang-Chin

box 34, folder 12

Chudnovsky, David

box 34, folder 13

Clancy, William J.

box 34, folder 14

Codfish, Michael

box 34, folder 15

Costello, Tom

box 34, folder 16

The Future of Cars, Energy, Environment, Economics. January 27-28

box 34, folder 17

CASBS

box 34, folder 18

CBCL

box 34, folder 19

Center for Democracy in the USSR

box 34, folder 20

Centre Mondial 1985-

box 34, folder 21

Chernobyl (1 of 2)

box 34, folder 22

Chernobyl (2 of 2)

box 34, folder 23

Chess

box 34, folder 24

Chowning

box 34, folder 25

Circle Generator

box 34, folder 26

Circuit Layout

box 34, folder 27

Circumscription

box 34, folder 28

Class

box 34, folder 29

CS323 Nonmonotonic Reasoning

box 34, folder 30

CS323 1993 Handout #1

box 34, folder 31

STS160 1998

box 34, folder 32

Clean Air

box 34, folder 33

Clippings

box 34, folder 34

COBOL

box 35, folder 1

For Commitments

box 35, folder 2

Common Sense Slides

box 35, folder 3

Compiler

box 35, folder 4

Comprehensive

box 35, folder 5

Computer Center

box 35, folder 6

Computer Control Lab

box 35, folder 7

Computer Man Society Proceedings, Haifa

box 35, folder 8

Computer Man Society Proceedings, Haifa '79

box 35, folder 9

Computer Science Division

box 35, folder 10

Computers

box 35, folder 11

Computing Reviews

box 35, folder 12

Consciousness

box 35, folder 13

Consulting

box 35, folder 14

Creary

box 35, folder 15

CS206 1980

box 35, folder 16

CS258 W75

box 35, folder 17

CSD

box 35, folder 18

CSD-CF

box 35, folder 19

CVLIK

box 35, folder 20

Current Teaching

box 35, folder 21

Davis, Byron

box 35, folder 22

Davis, Ernest

box 35, folder 23

Deck Setup for a Lisp Job

box 35, folder 24

Dennis, Jack B.

box 35, folder 25

Deransart, Pierre

box 35, folder 26

Dincbas, M.

box 35, folder 27

Doyle

box 35, folder 28

Drabent, Wlodzimierz

box 35, folder 29

Dreyfus, H.

box 35, folder 30

Drummond, Mark E.

box 35, folder 31

Dialog

box 35, folder 32

Dialog systems

box 35, folder 33

Dues and Subs

box 35, folder 34

DuPont Article from FORTUNE

box 35, folder 35

Edelman, Shimon

box 35, folder 36

Ershov, Andrei

box 35, folder 37

EBOS including IBM RT

box 35, folder 38

Educational Literature

box 35, folder 39

Educational Remarks

box 35, folder 40

EKL

box 35, folder 41

Elementary Programming

box 35, folder 42

Elephant

box 36, folder 1

Elephant Lecture

box 36, folder 2

Electrochemical Lab (Tokyo)

box 36, folder 3

Energy

box 36, folder 4

Environmental Material

box 36, folder 5

Expense

box 36, folder 6

Fagin

box 36, folder 7

Falkenhaimer, Brian

box 36, folder 8

Feferman, Solomon

box 36, folder 9

Feigenbaum, E.A.

box 36, folder 10

Fiat, Amos

box 36, folder 11

Freiling, Chris

box 36, folder 12

Friedlander

box 36, folder 13

Futamura, Yoshihiko

box 36, folder 14

Feldman

box 36, folder 15

Filman

box 36, folder 16

Finlayson

box 36, folder 17

Fredkin

box 36, folder 18

Fall Joint Programming Race

box 36, folder 19

The Feasibility of Interstellar Travel

box 36, folder 20

From brown notebook OAI

box 36, folder 21

Forsythe

box 36, folder 22

Future of scientific publication slides

box 36, folder 23

Gabriel, Richard P.

box 36, folder 24

Ganapathy

box 36, folder 25

Gardner, A.

box 36, folder 26

Gazdar, Gerald

box 36, folder 27

Gelfund, I.M.

box 36, folder 28

Genesereth

box 36, folder 29

Gennery, Donald B.

box 36, folder 30

Georgeff, Michael P.

box 36, folder 31

Gerson, Elihu M.

box 36, folder 32

Ginsberg, M.

box 36, folder 33

Ginsberg, Matthew

box 36, folder 34

Goad, C.

box 36, folder 35

Goguen, Joseph A.

box 36, folder 36

Golden, Donald

box 36, folder 37

Gordon, M.

box 36, folder 38

Gorin

box 36, folder 39

Gosling, James

box 36, folder 40

Jasper, R.

box 36, folder 41

Granlund, Goesta H.

box 37, folder 1

Green

box 37, folder 2

Greenberg, Nina

box 37, folder 3

Greenblatt

box 37, folder 4

Gries, D.

box 37, folder 5

Griss, M.

box 37, folder 6

Grosof, Benjamin

box 37, folder 7

Grosz, Barbara

box 37, folder 8

Glasnost

box 37, folder 9

Government Support

box 37, folder 10

Graduate Students

box 37, folder 11

Grants and Reviews

box 37, folder 12

Hagert, Goran

box 37, folder 13

Haneclou, Peter

box 37, folder 14

Hanks, Steve

box 37, folder 15

Hannah

box 37, folder 16

Hanson, Robin

box 37, folder 17

Haugland

box 37, folder 18

Hayes-Roth, Barbara

box 37, folder 19

Hayes (1 of 2)

box 37, folder 20

Hayes (2 of 2)

box 37, folder 21

Hedlund, Martin

box 37, folder 22

Hewitt, Carl

box 37, folder 23

Hilts, P.

box 37, folder 24

Hillis, Daniel W.

box 37, folder 25

Hin Tikka

box 37, folder 26

Hirsch, M.

box 37, folder 27

Hobbs, Jerry

box 37, folder 28

Hobbs

box 37, folder 29

Hoffman, William C.

box 37, folder 30

Hofstadter, Douglas

box 37, folder 31

Holloway, David

box 37, folder 32

Hooman, Jozef

box 37, folder 33

Hopcroft, John

box 37, folder 34

Houri, A.

box 37, folder 35

Huberman, Bernardo

box 37, folder 36

Hung

box 37, folder 37

Hunt, Warren A., Jr.

box 37, folder 38

Hunter, Maxwell W. II

box 37, folder 39

Hurlbert, Anya

box 37, folder 40

Hyde, Roderick A.

box 37, folder 41

Howard

box 37, folder 42

Hieronymus

box 37, folder 43

High Frontier

box 38, folder 1

HIJCAI Politics

box 38, folder 2

Home Terminal Paper

box 38, folder 3

IBM

box 38, folder 4

Ideas for Project

box 38, folder 5

IFIP Congress '65

box 38, folder 6

IFIP Papers

box 38, folder 7

Incomplete Work

box 38, folder 8

India

box 38, folder 9

Inference

box 38, folder 10

Possible Forms of Intelligence

box 38, folder 11

J

box 38, folder 12

K

box 38, folder 13

Kiessling, Werner

box 38, folder 14

Knutsson, H.

box 38, folder 15

Komorowski, H.J.

box 38, folder 16

Konolige, Kurt

box 38, folder 17

Korf, Richard E.

box 38, folder 18

Kowalski, Robert

box 38, folder 19

Knowledge

box 38, folder 20

Knowledge 1986 Man

box 38, folder 21

Knowledgebase

box 38, folder 22

Jean-Louis Lassez

box 38, folder 23

Lloyd, J.W.

box 38, folder 24

L

box 38, folder 25

Lighthill Review Master

box 38, folder 26

Lighthill Review Copies

box 38, folder 27

Levinthal

box 38, folder 28

Licklider

box 38, folder 29

Lederberg

box 38, folder 30

Letters

box 38, folder 31

Letters - low priority

box 38, folder 32

Workshop on Planning and Reasoning about Action, 1986

box 38, folder 33

Library Listings

box 38, folder 34

LISP Functions

box 38, folder 35

LMC

box 38, folder 36

LISP Book

box 38, folder 37

Little Thoughts

box 39, folder 1

Martin

box 39, folder 2

McDermott, Drew

box 39, folder 3

M

box 39, folder 4

McMahon Squares Puzzles, Etc.

box 39, folder 5

Menzel

box 39, folder 6

Minsky

box 39, folder 7

Moore, Robert C.

box 39, folder 8

Moravec, Hans P.

box 39, folder 9

MAD

box 39, folder 10

MAIL to Answer

box 39, folder 11

Manuscripts

Manuscripts

box 39, folder 12

Math Sci

box 39, folder 13

MCC

box 39, folder 14

Misc

box 39, folder 15

Misc Reprints

box 39, folder 16

MTC

box 39, folder 17

Missionaries & Cannibals

box 39, folder 18

My Notes

box 39, folder 19

Names

box 39, folder 20

National Association of Scholars

box 39, folder 21

Notes Sept-Oct 79

box 39, folder 22

Naivete

box 39, folder 23

Names & Numbers

box 39, folder 24

Nat. Res. Council

box 39, folder 25

New Computer

box 39, folder 26

Not In Our Genes

box 39, folder 27

Notes

box 39, folder 28

Non-Monotonic Slides

box 39, folder 29

Notebooks

box 39, folder 30

Notes

box 39, folder 31

Notes June 74

box 39, folder 32

JMC Notes

box 39, folder 33

Research Notes, TS

box 39, folder 34

Research Notes, AI

box 39, folder 35

Natl Academy of Sciences

box 39, folder 36

National Academy of Sciences 2

box 40, folder 1

NCD

box 40, folder 2

Natl. Assoc. Sch.

box 40, folder 3

1987 August - November

box 40, folder 4

Notes

box 40, folder 5

Notebooks

box 40, folder 6

Notes 3

box 40, folder 7

Notes 4

box 40, folder 8

Notes 5

box 40, folder 9

Notes 6

box 40, folder 10

Obstacle

box 40, folder 11

N

box 40, folder 12

Nilsson, Martin

box 40, folder 13

Old Corresp. JMC

box 40, folder 14

P-Q

box 40, folder 15

Parallel Computing

box 40, folder 16

Passport & Visas

box 40, folder 17

Philosophy Papers

box 40, folder 18

PYLYSHYN

box 40, folder 19

Papers Being Revised

box 40, folder 20

PROLOG

box 40, folder 21

PDP 1

box 41, folder 1

PDP

box 41, folder 2

7090

box 41, folder 3

Proposals

box 41, folder 4

Projects

box 41, folder 5

Personnel

box 41, folder 6

Prospective Visitors

box 41, folder 7

Provin

box 41, folder 8

Philosophy and AI

box 41, folder 9

Philosophy Reprints

box 41, folder 10

Project Ind.

box 41, folder 11

Propaganda

box 41, folder 12

Parallel Computer

box 41, folder 13

Petition

box 41, folder 14

P

box 41, folder 15

Perlis, Donald

box 41, folder 16

Perry, John

box 41, folder 17

Petrie, Charles, Jr.

box 41, folder 18

Phelps, John B.

box 41, folder 19

Popplestone, Robin

box 41, folder 20

Przymusinski, Teodor C.

box 41, folder 21

Queens

box 41, folder 22

Q. 32

box 41, folder 23

R

box 41, folder 24

Reiter, Raymond

box 41, folder 25

Restivo

box 41, folder 26

Ringle

box 41, folder 27

Real Time Language

box 41, folder 28

Recursion Article

box 41, folder 29

Refile

box 41, folder 30

Report Lists

box 41, folder 31

Refereeing and Reviewing

box 41, folder 32

Requests

box 41, folder 33

Revolution

box 41, folder 34

S

box 41, folder 35

Science and Society

box 41, folder 36

Scientific American Article

box 41, folder 37

Scientific American

box 41, folder 38

Soviet Bureaucracies Souvenirs

box 41, folder 39

SDI

box 42, folder 1

Soviet Computing

box 42, folder 2

SDI

box 42, folder 3

STO

box 42, folder 4

Spring 1979

box 42, folder 5

Sigma Xi Lecture

box 42, folder 6

Searle Slides

box 42, folder 7

Senate

box 42, folder 8

Stanford Senate

box 42, folder 9

IJCAI Trip

box 42, folder 10

Sh-Sz

box 42, folder 11

Shapiro, Ehud

box 42, folder 12

Shoham, Yoav

box 42, folder 13

Spee, Paul

box 42, folder 14

Simple Simon

box 42, folder 15

Slides - Use of Computer in Offices

box 42, folder 16

Sloman

box 42, folder 17

Study Groub [sic] Business

box 42, folder 18

Sustainability

box 42, folder 19

Samizdat bulletin

box 42, folder 20

Sa-Sg

box 42, folder 21

Safra, Shmuel

box 42, folder 22

Sandewall, Erik

box 42, folder 23

Sergot, M. J.

box 42, folder 24

Slides and transparencies

box 42, folder 25

McCarthy Papers

box 42, folder 26

assorted transparencies

box 42, folder 27

Unlabeled Misc.

box 42, folder 28

Space Travel

box 43, folder 1

Talcott Thesis

box 43, folder 2

Time Sharing Debugging for a Small Computer

Time Sharing Debugging for a Small Computer

box 43, folder 3

Int'l Symp on AI 11/13-15 - Cancun

box 43, folder 4

Symp - Bledsoe - Texas 11/15-16

box 43, folder 5

Newcastle-on-Tyne 9//7-11/92

box 43, folder 6

Transparencies

box 43, folder 7

Knowledge Slides

box 43, folder 8

Transparencies 2

box 43, folder 9

Some Expert Systems

box 43, folder 10

Terminal, Etc.

box 43, folder 11

US-Japan AI Conference

box 43, folder 12

Time Sharing Grant

box 43, folder 13

T

box 43, folder 14

Taylor, Stephen

box 43, folder 15

Toledo, Sue

box 43, folder 16

TWX

box 43, folder 17

B 5000

box 43, folder 18

U Texas

box 43, folder 19

U-V

box 43, folder 20

van der Poel, W. L.

box 43, folder 21

VTSS

box 43, folder 22

W 1

box 43, folder 23

W 2

box 43, folder 24

Winograd, Terry

box 43, folder 25

X-Z

 

Notebooks

box 44, folder 1

Math Theory of Computation Jan 1965 -

box 44, folder 2

J. McCarthy, Computation Center, Stanford, Calif.94305

box 44, folder 3

1970 B

box 44, folder 4

1970 C

box 44, folder 5

Fall 1970

box 44, folder 6

1970? A

box 44, folder 7

Dec 1970 D

box 44, folder 8

Dec. 1970 E

box 44, folder 9

Computers in Number Theory/Number Theory/Elementary Number Theory/Cours d'Arithmatique

box 44, folder 10

1972 July

box 44, folder 11

Dec 1973

box 44, folder 12

Dec 1974 A

box 44, folder 13

Dec 1974 B

box 44, folder 14

May 1977 I. Knowledge

box 44, folder 15

9 June 1977

box 44, folder 16

1977 Sept 18

box 44, folder 17

Dec 19, 1977

box 44, folder 18

1982 A

box 44, folder 19

Round the world in '78

box 44, folder 20

July 8, 1979

box 44, folder 21

circa 1980?

box 44, folder 22

circa 1975

box 44, folder 23

1981 Sept 15

box 44, folder 24

June 19, 1981

box 44, folder 25

1981 June 11. Contains draft of Coloring Maps and the Kowalski Doctrine

box 44, folder 26

1981 May 26. ANL (artificial natural language)

box 44, folder 27

1982 April 17

box 44, folder 28

1982 Aug 19

box 44, folder 29

1982 April 22

box 44, folder 30

1982 April 19, 1982 July 1. Contents: p. 7 - Theory of dirty LISP; p 15 - locally dirty append.

box 44, folder 31

1982 Aug 11

box 44, folder 32

1982 Sept 4

box 44, folder 33

1983 June 27

box 44, folder 34

1983 Sept 13

box 44, folder 35

from 1983 Dec 19 to 1984 Jun 21

box 44, folder 36

1984 June 20 - 1984 Sept 10

box 44, folder 37

1984 Dec 20 - 1985 Mar 26

box 44, folder 38

1985 June 12 - 1985 Sept 19

box 44, folder 39

1985 Sept 19 - 1986 Mar 21

box 45, folder 1

1986 Mar 22 - 1986 Aug 14

box 45, folder 2

1986 Aug 14 - 1986 Dec 4

box 45, folder 3

1986 Dec 4 - 1987 May 6

box 45, folder 4

1987 May 6 - 1987 July 11

box 45, folder 5

1987 July 12 - 1987 Oct 5

box 45, folder 6

1987 Oct 14 -

box 45, folder 7

1988 Mar 1 - 1988 June 20

box 45, folder 8

1988 June 21 - 1988 Nov 14

box 45, folder 9

1988 Nov 14 - 1989 April 25

box 45, folder 10

1989 Apr 26 - 1989 Dec 31

box 45, folder 11

1990 June 1 - July 15

box 45, folder 12

1990 July 29 -

box 45, folder 13

1990 Sept 16 - November

box 45, folder 14

3.15

box 45, folder 15

1991 Jan 27 - 1991 Nov 13

box 45, folder 16

1992 May 1 - 1992 Nov 20

box 45, folder 17

1993 June 20 -

box 45, folder 18

97 Nov 7

box 45, folder 19

2000 May 31

box 45, folder 20

small red Memo book

box 45, folder 21

small green Mead Memo book

box 45, folder 22

small spiral-bound green checked notebook

box 45, folder 23

41176

box 45, folder 24

small green checked notebook

box 45, folder 25

small hot pink notebook

box 45, folder 26

small yellow notebook

box 45, folder 27

1988 Aug 3

box 45, folder 28

blue spiral-bound notebook

 

Misc

box 12, folder 1

Formal Reas.

box 12, folder 2

Port. Comm. Lisp.

box 12, folder 3

DARPA Hardware

box 12, folder 4

Basic AI

box 12, folder 5

EBOS

box 12, folder 6

Theorem Prov.

box 12, folder 7

Advanced R & D

box 12, folder 8

QLISP

box 12, folder 9

DARPA Contract Information

box 12, folder 10

Technology Essay

box 12, folder 11

Elephant

box 12, folder 12

JMC notes, handwritten

box 12, folder 13

Slides (1 of 2)

box 12, folder 14

Slides (2 of 2)

box 12, folder 15

2004 Aug B (1 of 2)

box 12, folder 16

2004 Aug B (2 of 2)

box 12, folder 17

2004 Aug C

box 12, folder 18

2004 Sept B

box 46, folder 1

CSLI Monthly

box 46, folder 2

Conference Record of the 1980 LISP Conference

box 46, folder 3

QLISP

box 46, folder 4

LISP Programming and Proving

box 46, folder 5

Elephant

box 46, folder 6

Umbrella Feb 89

box 46, folder 7

Loose Misc.

box 46, folder 8

Outgoing Correspondence

box 46, folder 9

1989 Correspondence - JMC

box 46, folder 10

JMC 1989-1990

box 46, folder 11

LISP History 1

box 46, folder 12

References for JMC LISP

box 46, folder 13

LISP History 2

box 46, folder 14

Commonsense

box 46, folder 15

Rec. Humor

box 47, folder 1

Solutions for CS 257A's Final

box 47, folder 2

CS226 Wtr. 1981. Epistem. Problems of AI

box 47, folder 3

PROLOG 1982 CS321

box 47, folder 4

CS204 1982

box 47, folder 5

CS206 Fall 1982

box 47, folder 6

CS226 Winter 82-83

box 47, folder 7

CS206 1983

box 47, folder 8

CS258 W84

box 47, folder 9

CS157A Winter 84 Reading Course

box 47, folder 10

CS157 Winter 1983

box 47, folder 11

CS157B Spring 1983

box 47, folder 12

CS323 Reader

box 47, folder 13

CS258 notes

box 47, folder 14

CS 221

box 47, folder 15

CS 323

box 47, folder 16

CS306

box 47, folder 17

CS 221 1990

box 47, folder 18

CS157 1991

box 47, folder 19

CS242 F92

box 47, folder 20

CS 323 Winter 90

box 47, folder 21

CS 323 1992

box 47, folder 22

CS 157 1992

box 48, folder 1

Common Sense '93 Working Papers

box 48, folder 2

Non-Monotonic Reasoning Workshop

box 48, folder 3

CS 323 Winter 1996 Reader

box 48, folder 4

Stanford Artificial Intelligence Project

box 48, folder 6

Final Report: Research in Mathematical Theory of Computation

box 48, folder 7

LISP Programming and Proving

box 48, folder 8

Library

box 48, folder 9

Papers

box 48, folder 10

Papers

box 48, folder 11

NSF MCS81-11586 2 FCZ 432

box 48, folder 12

2FCZ 451 163C 187 NSF MCS 82-06565 JMC-Ketonen

box 48, folder 13

AFOSR 2FCZ464 AFOSR81-0014

box 48, folder 14

2 FCZ762 ARPA N00039-82-C-0250 McCarthy

box 48, folder 15

ARPA Equipment 2FCZ780 MDA903 83 C0188 187X007

box 48, folder 16

2FCZ913 IBM 192T412

box 48, folder 17

JMC Japan NSF

box 48, folder 18

2M-AFOSR 84-85

box 48, folder 19

Gabriel Proposal

box 48, folder 20

Portable Common LISP ARPA Proposal

box 48, folder 21

JMC NSF Renewal

box 48, folder 22

2M/Pnueli NSF

box 48, folder 23

JMC/Goad MCS-8305026 NSF 1983-85

box 48, folder 24

Unfunded Proposals

box 48, folder 25

JMC ARPA

box 49, folder 1

VTSS Essay

box 49, folder 2

CS323 1993

box 49, folder 3

CS323 Nonmonotonic Reasoning

box 49, folder 4

C323 1994 1

box 49, folder 5

CS323 1994 2

box 49, folder 6

CS323 W95

box 49, folder 7

STS 160 1994

box 49, folder 8

STS 160 W95

box 49, folder 9

Inconvenient Car Trouble, Axioms

box 49, folder 10

Proving Properties of Programs

box 49, folder 11

assorted loose leaves - misc.

box 50, folder 1

KQED 88.5FM. Forum: Artificial Intelligence 2001 Dec 24

KQED 88.5FM. Forum: Artificial Intelligence: 2001 Dec 24

Physical Description: 1 audiocassette(s)
box 50, folder 2

Science and Technology in Our Time. Russian. Artificial Intelligence. Ampex Acetate 0.25" x 600', 5" reel.

Science and Technology in Our Time. Russian. Artificial Intelligence. Ampex Acetate 0.25" x 600', 5" reel.

Physical Description: 1 audiotape reel(s)
box 50, folder 3

The Beginning of the End 1947

Physical Description: 1 optical disc(s) (dvd)
box 50, folder 4

2 unidentified 3.5" floppy disks

Physical Description: 2 computer media
box 50, folder 5

Robots. Post production - edited transcription tape. BBC.

Robots. Post production - edited transcription tape. BBC.

Physical Description: 1 audiotape reel(s)
box 50, folder 6

Robots - post production edited TX tape

Robots - post production edited TX tape

Physical Description: 1 audiotape reel(s)
box 50, folder 7

Argonne National Laboratory Engineering Research. "Integral Fast Reactor... Energy for Tomorrow" (22:45) 1993 Mar 19

Physical Description: 1 videotape(s) (vhs)
 

Additional Material Acession ARCH-2013-047

box 1, folder 1

notes - handwritten 1950s

box 1, folder 2

Memos and Reprints - McCarthy

box 1, folder 3

Misc notes - not JMG

box 1, folder 4

Old Notes

box 1, folder 5

Fredkin, McCarthy - Time Sharing

box 1, folder 6

LISP Kalah Program

box 1, folder 7

Probalistic models of games

box 1, folder 8

Aggregation

box 1, folder 9

Kryloff and Bogoliuboff

box 1, folder 10

Subject 6.41 course notes

box 1, folder 11

Introduction to automatic computation

box 1, folder 12

Subject 6.41 course notes - McCarthy

box 1, folder 13

Darmouth summer project notes

box 1, folder 14

current misc writings (from 1970)

box 1, folder 15

Letters

box 1, folder 16

Letters

box 1, folder 17

Aggregation

box 1, folder 18

Automata Studies

box 1, folder 19

Machine modfications

box 1, folder 20

Summer research project

box 1, folder 21

Badges

box 1, folder 22

The AI problem - hierarchy of topics

box 1, folder 24

Clean up System 15

box 1, folder 25

No on 15

box 1, folder 26

Intro to Turing Machines

box 1, folder 27

Research notes 1950s

box 1, folder 28

Projects

box 1, folder 29

IBM Consultant memos

box 1, folder 30

Proof Checking (Stanford CS Department)

box 1, folder 31

Advice Taker (Stanford CS Department)

box 1, folder 32

Time-Sharing Notes

box 1, folder 33

Essays

box 1, folder 34

CHESS (Stanford CS Department)

box 1, folder 35

Chemistry 10

box 1, folder 36

General Notes (grey notebook)

box 1, folder 37

General Notes (red notebook)

box 1, folder 38

General Notes (yellow notebook)

box 1, folder 39

General Notes (orange notebook)

box 1, folder 40

General Notes (big yellow notebook)

box 2, folder 1

Folder A: Notes, letters, reports, and various other documents 2003 Sep

box 2, folder 2

Folder B: Notes, letters, reports, and various other documents 2003 Sep

box 2, folder 3

Folder C: Notes, letters, reports, and various other documents 2003 Sep

box 2, folder 4

Folder D: Notes, letters, reports, and various other documents 2003 Sep

box 2, folder 5

Folder E: Notes, letters, reports, and various other documents 2003 Sep

box 2, folder 6

Folder F: Notes, letters, reports, and various other documents 2003 Sep

box 2, folder 7

Folder G: Notes, letters, reports, and various other documents 2003 Sep

box 2, folder 8

Folder E: Notes, letters, reports, and various other documents 2003 Sep

box 2, folder 9

Folder A: Notes, letters, reports, and various other documents 2003 Oct

box 2, folder 10

Folder B: Notes, letters, reports, and various other documents 2003 Oct

box 2, folder 11

Folder A: Notes, letters, reports, and various other documents 2003 Nov

box 2, folder 12

Folder B: Notes, letters, reports, and various other documents 2003 Nov

box 2, folder 13

Folder C: Notes, letters, reports, and various other documents 2003 Nov

box 2, folder 14

Folder D: Notes, letters, reports, and various other documents 2003 Nov

box 2, folder 15

Folder E: Notes, letters, reports, and various other documents 2003 Nov

box 2, folder 16

Folder F: Notes, letters, reports, and various other documents 2003 Nov

box 2, folder 17

Folder G: Notes, letters, reports, and various other documents 2003 Nov

box 2, folder 18

Folder A: Notes, letters, reports, and various other documents 2003 Dec

box 2, folder 19

Folder B: Notes, letters, reports, and various other documents 2003 Dec

box 3, folder 1

Chess program, notes on computer program Undated

box 3, folder 2

DocDil, CS Brain exercises 1970s

box 3, folder 3

Letter from Leith Philip 1989

box 3, folder 4

A letter from Vietnam, 1963 1989

box 3, folder 5

Letter from Donald Plichie 8-Mar-90

box 3, folder 6

Contexts academic report 1989

box 3, folder 7

Notes CYCL Jun-89

box 3, folder 8

Letter from the University of Maryland 16-Feb-61

box 3, folder 9

Letter from the Putnam Mathematics Competition 18-Jul-56

box 3, folder 10

Photograph May-90

box 3, folder 11

Notebook circa 1988

box 3, folder 12

Folder B. Various notes, reports, and other documents Dec-03

box 3, folder 13

Folder C. Various notes, reports, and other documents Dec-03

box 3, folder 14

Folder C. Various notes, reports, and other documents Jan-04

box 3, folder 15

Folder B. Various notes, reports, and other documents Jan-04

box 3, folder 16

Folder A. Various notes, reports, and other documents Aug-04

box 3, folder 17

Songs, various song lyrics Undated

box 3, folder 18

Old Pocket Notes & Bus Cards Undated

box 3, folder 19

Martha, notes 1960s

box 3, folder 20

Manuscripts 1950s-1960s

box 4, folder 1

John (Jack) McCarthy Letters and Photos 1960s-1980s

box 4, folder 2

Michael R. Genesereth Academic Papers 1982

box 4, folder 3

Math Academic Papers: V.I. Arnold and Michael Robert Herman 1964

box 4, folder 4

Artificial Intelligence Academic Papers: William A. Hoff, Ryszard S. Michalski, Robert E. Stepp 1986

box 4, folder 5

SE2 Policy 1970s-1980s

box 4, folder 6

Reprints reprints AI - others 1982

box 4, folder 7

Reprints - Non CS Academic Papers 1975-1976

box 4, folder 8

Sigma Xi Lecture Undated

box 4, folder 9

Notes - JME, including math problems and solutions circa 1975

box 4, folder 10

Calculators Notes and Reports 1982

box 4, folder 11

Civil Defense Papers 1981

box 4, folder 12

III Planning Committee Notes and Reports 1981

box 4, folder 13

III Technical Advisory Committee Report 4-Aug-82

box 4, folder 14

AIPHIL Book 1970s-1980s

box 4, folder 15

CBCL, Notes and Reports 1970s-1980s

box 4, folder 16

Consulting Agreements 1985-1986

box 4, folder 17

CS 226, Notes on CS and one academic report 1960s-1980s

box 4, folder 18

Drafts - JME, Academic Reports 1979-1981

box 4, folder 19

Editors, Command chart Undated

box 4, folder 20

Circumscription, academic paper with rough draft and notes 1981

box 4, folder 21

GE Talk notes and O.T.S. Undated

box 4, folder 22

Interell, Reports and Miscellaneous Documents 1984-1985

box 4, folder 23

LISP Book Mar-81

box 4, folder 24

MAD-2 Product Planning Meeting notes 8-Mar-85

box 4, folder 25

Artificial Intelligence notes 1980-1985

box 4, folder 26

JMC Notes 1978-1979

box 4, folder 27

Reprints, non-JMC, Academic Reports and Various documents 1970s-1980s

box 4, folder 28

My reprints, Academic reports, pamphlets, and other documents 1960s-1980s

box 4, folder 29

Reprints on Academic reports 1970s

box 4, folder 30

SE2 Reports and various documents 1980s

box 4, folder 31

Space, work done with NASA, etc 1970s-1980s

box 4, folder 32

Winston notes Undated

box 5, folder 1

Misc, One correspondence and a resume Aug-78

box 5, folder 2

Bukovsky, Correspondences Jul-85

box 5, folder 3

SE2, Extensive and lengthy reports, heavy folder 1974-1984

box 5, folder 4

Carolyn, Computer reports 29-Apr-80

box 5, folder 5

Misc Sci, Reports 11-Jan-69

box 5, folder 6

Interference Corporation, all documents, heavy folder 1983-1984

box 5, folder 7

John McCarthy, Everything from expense to academic reports to miscellaneous subfolders and documents 1983-1986

box 5, folder 8

More Interference, Reports and supplement documents 1983-1984

box 5, folder 9

III Stock, Correspondences, pay stubs, miscellaneous documents including some from from Merrill Lynch 1973-1976

box 5, folder 10

III, Correspondences, reports, and miscellaneous documents 1983-1984

box 5, folder 11

PCC, Various documents but mainly correspondences 1978

box 5, folder 12

Hoover, One memorandum 30-Sep-83

box 5, folder 13

III, Documents, notes, and correspondences 1980

box 5, folder 14

III Current, Documents, notes, and correspondences 1975-1983

box 5, folder 15

Issues, report on issues in Computer Science 10-Oct-73

box 5, folder 16

Letters and photographs mainly from Russia and reports 1972 -

box 5, folder 17

Letters, postcards, and other documents 1972 -

box 5, folder 18

Letters and correspondence 1979

box 5, folder 19

Quasar, Newspaper stories and other reports 1977

box 5, folder 20

Sense issues, reports, newspapers, and other miscellaneous documents 1977

box 5, folder 21

Shockley newspaper cover story 30-Sep-70

box 6, folder 1

A variety of reports, meeting notes, and miscellaneous documents 1988 Jan

box 6, folder 2

Newspapers, correspondences, and reports 1988 Feb

box 6, folder 3

Correspondences and a variety of reports 1988 Mar

box 6, folder 4

Correspondences and a variety of pamphlets 1988 Apr

box 6, folder 5

Copy of a newspaper cover story and notes from a Board Meeting with Information International 1988 May

box 6, folder 6

An "Operations Report" and a newspaper editorial 1988 Jun

box 6, folder 7

Documents 1-26, A variety of reports, newspapers, and miscellaneous documents 1988 Jul

box 6, folder 8

Documents 1-11, A variety of pamphlets, magazines, and miscellaneous documents 1988 Aug

box 6, folder 9

Documents 1-16, A variety of correspondences, reports, pamphlets, and miscellaneous documents 1988 Sep

box 6, folder 10

Documents 1-12, A variety of reports, proposals, and miscellaneous documents 1988 Oct

box 6, folder 11

A variety of correspondences and scholarly reports 1988 Nov

box 6, folder 12

Documents 25-52, A variety of correspondences and scholarly reports 1988 Dec

box 6, folder 13

Documents 1-24, A variety of correspondences and scholarly reports 1988 Dec

box 6, folder 14

Folder A, A variety of maps, reports, and miscellaneous documents 1987 Aug

box 6, folder 15

Folder B, Scans of books 1987 Aug

box 6, folder 16

A variety of reports, pamphlets, and miscellaneous documents 1987 Aug

box 6, folder 17

A variety of reports, pamphlets, and miscellaneous documents 1987 Aug

box 6, folder 18

A variety of correspondences and scholarly reports 1987 Jul

box 6, folder 19

A variety of reports, pamphlets, and miscellaneous documents 1987 Mar

box 6, folder 20

A variety of reports, pamphlets, and miscellaneous documents 1987 Feb

box 6, folder 21

Mostly reviews and a couple of magazines 1987 Jan

box 7, folder 1

Notes, reports, classroom exams, and various documents 1986 Dec

box 7, folder 2

Notes, reports, and various documents 1986 Nov

box 7, folder 3

Notes, reports, and various documents 1986 Nov

box 7, folder 4

Mostly academic reports 1986 Nov

box 7, folder 5

Correspondences, and one notebook ('04) 1989, and 2000s

box 7, folder 6

John McCarthy Novel drafts with comments 2004

box 7, folder 7

Oral History Interview 1990

box 7, folder 8

Souvenirs, Drafts of an apparent book "A nerd, a woman, and an Imprudent AI." Undated

box 7, folder 9

Passports, visas, and other travel documents 1980s-00s

box 7, folder 10

Word Spinners, appears to be a draft version of a book 24-Jul-04

box 7, folder 11

Inventions, patents and templates for writing patents 1990s

box 7, folder 13

Miscellaneous folder with various documents

box 7

Notebooks

 

Audiovisual material

box 8

Lecture slides

box 8

LISP--HOPL talks 1978 Jun

LISP--HOPL talks: 1978 Jun

Physical Description: 1 audiocassette(s)
box 8

McCarthy (part 1) 8.02 Undated

McCarthy (part 1): Undated

General Physical Description note: 1 audiotape(s) (reel-to-reel)
box 8

McCarthy (part 2) 8.03 Undated

McCarthy (part 2)

General Physical Description note: 1 audiotape(s) (reel-to-reel)
box 8

McCarthy (part 3) 8.04 Undated

McCarthy (part 3)

General Physical Description note: 1 audiotape(s) (reel-to-reel)
box 8

McCarthy (part 4) 8.05 Undated

McCarthy (part 4)

General Physical Description note: 1 audiotape(s) (reel-to-reel)
box 8

Computer Forum: Ed Fest I (part 1) 8.06 2006 Mar 25

Physical Description: 1 optical disc(s) (dvd)
box 8

Computer Forum: Ed Fest I (part 2) 8.07 2006 Mar 25

Physical Description: 1 optical disc(s) (dvd)
box 8

Computer Forum: Ed Fest I (part 3) 8.08 2006 Mar 25

Physical Description: 1 optical disc(s) (dvd)
box 8

Computer Forum: Ed Fest II (part 1) 8.09 2006 Mar 26

Physical Description: 1 optical disc(s) (dvd)
box 8

Computer Forum: Ed Fest II (part 2) 8.10 2006 Mar 26

Physical Description: 1 optical disc(s) (dvd)
box 8

Computer Forum: Ed Fest II (part 3) 8.11 2006 Mar 26

Physical Description: 1 optical disc(s) (dvd)
 

Computer files

 

Stanford AI Lab (SAILDART) files

Physical Description: 1208 megabyte(s)
General Physical Description note: (59,245 files in 22,343 directories)
 

Access to Energy newsletter archive 1973-1994

General Physical Description note: 2 computer file(s) (PDF)
 

WTDS Interviews, KFJC 2006 Apr 10-13

 

Chowning, John 2006 Apr 13

General Physical Description note: 1 computer file(s) (WAV)
 

Engelbart, Douglas C. 2006 Apr 13

General Physical Description note: 1 computer file(s) (WAV)
 

Markoff, John 2006 Apr 13

General Physical Description note: 1 computer file(s) (WAV)
 

McCarthy, John

 

Warren, Jim

Physical Description: 1 computer file(s) (wav)