John McCarthy papers - California Digital Librarypdf.oac.cdlib.org/pdf/stanford/uarc/sc0524.pdf ·...

http://oac.cdlib.org/findaid/ark:/13030/kt3b69r8msOnline items available

Guide to the John McCarthyPapers SC0524

SC0524 1

Guide to the John McCarthy Papers SC0524

Daniel Hartwig & Elspeth OlsonDepartment of Special Collections and University ArchivesOctober 2010Green Library557 Escondido MallStanford [email protected]: http://library.stanford.edu/spcNoteThis encoded finding aid is compliant with Stanford EAD Best Practice Guidelines, Version 1.0.

http://oac.cdlib.org/findaid/ark:/13030/kt3b69r8ms

http://oac.cdlib.org/findaid/ark:/13030/kt3b69r8ms

http://library.stanford.edu/spc


SC0524 2

Language of Material: EnglishContributing Institution: Department of Special Collections and University ArchivesTitle: John McCarthy paperscreator: McCarthy, John, 1927-2011Identifier/Call Number: SC0524Physical Description: 51.25 Linear Feet and 4577.28 megabytesDate (inclusive): 1951-2012Abstract: Correspondence, memos, reports, course materials, newsletters, articles, reprints, computer manuals, and othermaterials 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 Russiancomputer scientists, 1958-78.ArrangementThe materials are arranged by accession.Immediate Source of Acquisition noteGift of John McCarthy, 1995-2009; Susan McCarthy, 2012-2013.Information about AccessThis collection is open for research.Ownership & CopyrightAll requests to reproduce, publish, quote from, or otherwise use collection materials must be submitted in writing to theHead of Special Collections and University Archives, Stanford University Libraries, Stanford, California 94304-6064. Consentis given on behalf of Special Collections as the owner of the physical items and is not intended to include or implypermission 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 andeducational purposes.Cite AsJohn McCarthy Papers (SC0524) Department of Special Collections and University Archives, Stanford University Libraries,Stanford, Calif.Biographical/Historical SketchMcCarthy was born on Sept. 4, 1927, in Boston. He earned his undergraduate degree from the California Institute ofTechnology in 1948 and his PhD at Princeton in 1951, both in mathematics. He was an instructor at Princeton from 1951until 1953 when he came to Stanford as an assistant professor. In 1955, he left for Dartmouth and then for MIT beforereturning 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 StanfordArtificial Intelligence Lab, serving as director at Stanford from 1965 until 1980. He was named the first Charles M. PigottProfessor 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 atDartmouth in 1955, McCarthy authored a proposal for a two-month, 10-person summer research conference on "artificialintelligence" – 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 oflearning or any other feature of intelligence can in principle be so precisely described that a machine can be made tosimulate 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 afterFORTRAN. 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 greatlyimproved 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 programmingphilosophy 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


SC0524 3

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 thescientific 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 viaa 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 incomputer science. He received the Kyoto Prize in 1988 and the National Medal of Science in 1990, the nation's highesttechnical award. He was a member of the National Academy of Sciences, the National Academy of Engineering and theAmerican Academy of Arts and Sciences.McCarthy died on October 24, 2011. He was survived by his third wife, Carolyn Talcott of Stanford; two daughters, SusanMcCarthy of San Francisco and Sarah McCarthy of Nevada City, Calif.; a son, Timothy Talcott McCarthy of Stanford; abrother, 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 accidentattempting to scale Annapurna in Nepal.Description of the CollectionCorrespondence, memos, reports, course materials, newsletters, articles, reprints, computer manuals, and other materialspertaining to McCarthy's research and his teaching at Stanford and MIT. Correspondents include Forest Baskett, DonaldKnuth, Serge Lang, Joshua Lederberg, Douglas Lenat, Donald Michie, Hans Moravec, Zohar Manna, Aaron Sloman, andMasahiko Sato. Also included are correspondence, reprints, programs, notes, and articles from his work with Russiancomputer scientists, 1958-78.Subjects and Indexing TermsLISP (Computer program language)Computer programming.Artificial intelligence.McCarthy, John, 1927-2011McCarthy, John, 1927-2011Baskett, Forest.Lang, SergeKnuth, Donald Ervin, 1938-Lederberg, JoshuaLenat, Douglas B.Stanford University. Computer Science Department. FacultyManna, Zohar.Sloman, Aaron.Michie, Donald.Sato, MasahikoMoravec, 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)


SC0524 4

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 peercommentary, 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


SC0524 5

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 ofConcerned 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 equipmentconfiguration 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


SC0524 6

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)


SC0524 7

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


SC0524 8

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/policystatements)


SC0524 9

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, lecturetranscription)

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


SC0524 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)


SC0524 11

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, problemsolutions)

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


SC0524 12

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, conferencebrochure, 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


SC0524 13

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)


SC0524 14

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, consultantagreement, forms)

box 6, folder 4

Luckham Letters, 1968-1977, (memos, correspondence, notes, articles, curriculum vitae, proposals, recommendationfor 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)


SC0524 15

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


SC0524 16

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)


SC0524 17

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


SC0524 18

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)


SC0524 19

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


SC0524 20

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


box 14, folder 5


box 14, folder 6


box 14, folder 7


SC0524 21


box 14, folder 8


box 14, folder 9


box 14, folder 10

Operating Note 28.3 1969

box 14, folder 11


box 14, folder 12

Operating Note 28.6

box 14, folder 13

Operating Note 28.7

box 14, folder 14


box 14, folder 15


box 14, folder 16


box 14, folder 17


box 14, folder 18

Operating Notes 36-37 1968

box 14, folder 19


box 14, folder 20


box 14, folder 21


box 14, folder 22

Operating Note 48 1968

box 14, folder 23



SC0524 22

box 14, folder 24

Operating Note 51, 1969-1973

box 14, folder 25


box 14, folder 26

Operating Note 54

box 14, folder 27


box 14, folder 28


box 14, folder 29


box 14, folder 30


box 14, folder 31


box 14, folder 32


box 14, folder 33


box 14, folder 34

Stanford Time-Sharing Memos, 1963-1965

box 15, folder 1


box 15, folder 2


box 15, folder 3


box 15, folder 4


box 15, folder 5

Memo AI-66 1968

box 15, folder 6


SC0524 23


box 15, folder 7


box 15, folder 8


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


SC0524 24

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 toPDP-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


SC0524 25

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)


SC0524 26

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


SC0524 27

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)


SC0524 28

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


SC0524 29

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)


SC0524 30

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


box 24

1969, (article)

box 24


SC0524 31


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


SC0524 32

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


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


box 26, folder 7


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


SC0524 33

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


box 26, folder 24


box 26, folder 25


box 26, folder 26


box 26, folder 27

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


SC0524 34

box 26, folder 28


box 26, folder 29


box 26, folder 30


box 26, folder 31


box 26, folder 32


box 26, folder 33


box 26, folder 34


box 26, folder 35


box 27, folder 1

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

box 27, folder 2

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

box 27, folder 3


box 27, folder 4

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

box 27, folder 5


box 27, folder 6

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

box 27, folder 7

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

box 27, folder 8

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

box 27, folder 9


SC0524 35

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

box 27, folder 10

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

box 27, folder 11

Mathematics, 1955-? (notes)

box 27, folder 12

Mathematics, 1947-1948 (notes)

box 27, folder 13

Mathematics, (notes)

box 27, folder 14

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

box 27, folder 15

Proposals Evaluated, 1965

box 27, folder 16

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

box 27, folder 17

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

box 27, folder 18

Chess, Misc. (notes)

box 27, folder 19

MIT AI Group, Chess, Language (notes)

box 27, folder 20

Epistemology, Language, Lectures (articles, notes)

box 27, folder 21

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

box 27, folder 22

IFIP, 1964 [2 of 2]

box 27, folder 23

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

box 27, folder 24

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

box 27, folder 25

Notes, 1946-1956? [1 of 5]


SC0524 36

box 27, folder 26

Notes, 1946-1956? [2 of 5]

box 27, folder 27

Notes, 1946-1956? [3 of 5]

box 27, folder 28

Notes, 1946-1956? [4 of 5]

box 27, folder 29

Notes, 1946-1956? [5 of 5]

box 27, folder 30

Computation, 1961 (articles, proposal request)

box 27, folder 31

Mathematics (notes)

box 27, folder 32

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

box 27, folder 33

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

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


SC0524 37


box 28, folder 9


box 28, folder 10


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


SC0524 38

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


SC0524 39

"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


box 36


box 36


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

Additional Material Accession ARCH-1996-060


SC0524 40

box 1, folder 2 M.I.T. booklets, memos, reportsbox 1, folder 3 Mathematical Reviewsbox 1, folder 4 Requests for Publicationbox 1, folder 5 Untitledbox 1, folder 6 Texas, Univ. ofbox 1, folder 7 US Exchange Program with USSRbox 1, folder 8 Electrical Engineering Meetingsbox 1, folder 9 Other Comp. Sci. Deptbox 1, folder 10 Natasha [Rodman]box 1, folder 11 Meetingbox 1, folder 12 Math Reviewsbox 1, folder 13 References [letters of]box 1, folder 14 Correspondencebox 1, folder 15 Correspondencebox 2, folder 1 Correspondence 1966 Oct-1967 Decbox 2, folder 2 POP-1 to Indiabox 2, folder 3 Computer Science Exams--University of Edinburghbox 2, folder 4 Comp. Sci. Dept. Meetingsbox 2, folder 5 Correspondence 1967-1968box 2, folder 6 HANDbox 2, folder 7 General correspondencebox 2, folder 8 FUNDbox 2, folder 9 EYEbox 2, folder 10 Ito, Takayasubox 2, folder 11 FOL Manualbox 2, folder 12 Unfunded Proposalsbox 2, folder 13 Unfunded Proposalsbox 3, folder 1 Unfunded Proposalsbox 3, folder 2 Photographsbox 3, folder 3 Student papersbox 3, folder 4 McCarthy "Technology and the Enhancement of Man" 1973 box 3, folder 5 Computer Printoutsbox 3, folder 6 Multilisp manualsbox 3, folder 7 LOTSbox 3, folder 8 Stanford LISP 1.6 Manualbox 4, folder 1 Stanford Artificial Intelligence Laboratory: various reports, manuals, memos

1958-1982box 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-1983box 4, folder 4 Books and reports not in Russian and Frenchbox 4, folder 5 Notebook: Stanford personnel informationbox 4, folder 6 Notebook: Office manual, secretarybox 4, folder 7 Xerox: Technical Review Panel Meeting at Palo Alto Research Center (notebook) 1974

Novbox 5 Memorabilia (certificates and plaques)box 5 Note cards, audio cassette, four computer tapesbox 5 MACLISP Reference Manual 1977box 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-218circa 1975-2008


SC0524 41

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.Other Finding AidsPreliminary computer file directory (.pdf)

Celebration of John McCarthy's Accomplishments [computer files]

Accession ARCH-2012-040 2012 Mar 25Physical Description: 218 megabyte(s)(161 files in 13 directories)

Website 2010-2017

Physical Description: 60.6 megabyte(s)(5,497 files in 206 directories) Additional Material Accession ARCH-2012-055

Chronological Files Correspondence 1979box 1, folder 2 1979box 1, folder 3 1980box 1, folder 4 1980box 1, folder 5 1981box 1, folder 6 1981box 1, folder 7 1982box 1, folder 8 1982box 1, folder 9 1982box 1, folder 10 1983box 1, folder 11 1983box 1, folder 12 1983box 1, folder 13 1983box 1, folder 14 1983box 1, folder 15 1983box 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 1984box 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 85box 2, folder 10 Mar-May 1985 (1 of 2)box 2, folder 11 Mar-May 1985 (2 of 2)box 2, folder 12 February 1985box 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 1985box 3, folder 6 Aug 22/1985 (1 of 2)box 3, folder 7 Aug 22/1985 (2 of 2)box 3, folder 8 Aug 1985box 3, folder 9 Sept 85box 3, folder 10 November 1985 (1 of 2)box 3, folder 11 November 1985 (2 of 2)

http://library.stanford.edu/depts/spc/uarch/McCarthy_electronic_files_directory_2008_Nov.pdf

Additional Material Accession ARCH-2012-055Chronological Files


SC0524 42

box 3, folder 12 December 1985box 3, folder 13 January 86 (1 of 2)box 3, folder 14 January 86 (2 of 2)box 3, folder 15 February 1986box 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 1986box 4, folder 8 June 24 - August 31, 1986box 4, folder 9 0725E86 - July 86box 4, folder 10 0715E85 - July 86box 4, folder 11 0710E86 - July 86box 4, folder 12 0707E86 - July 86box 4, folder 13 September 1986 (1 of 2)box 4, folder 14 September 1986 (2 of 2)box 4, folder 15 October 1986box 4, folder 16 Nov 1986box 4, folder 17 December 1986 (1 of 2)box 4, folder 18 December 1986 (2 of 2)box 5, folder 1 January 1987box 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, 1987box 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 1987box 5, folder 14 July 1987box 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 1box 6, folder 12 October 1987 File 2box 6, folder 13 October 1987 File 3box 6, folder 14 October 1987 File 4box 7, folder 1 October 1987 File 3box 7, folder 2 November 1987box 7, folder 3 November 1987box 7, folder 4 November 1987box 7, folder 5 December 1987box 7, folder 6 December 1987box 7, folder 7 December 1987box 7, folder 8 December 1987



SC0524 43

box 7, folder 9 March 1988box 7, folder 10 February 1988box 7, folder 11 January 1988box 7, folder 12 March 20, 1988box 7, folder 13 March 1988box 7, folder 14 March 25, 1988box 7, folder 15 May 13, 1988box 8, folder 1 May 14, 1988box 8, folder 2 May 25, 1988box 8, folder 3 May 26, 1988box 8, folder 4 June 22, 1988box 8, folder 5 June 23, 1988box 8, folder 6 July 10, 1988box 8, folder 7 July 12, 1988box 8, folder 8 July 14, 1988box 8, folder 9 July 16, 1988box 8, folder 10 July 18, 1988box 8, folder 11 September 6, 1988box 8, folder 12 October 3, 1988box 9, folder 1 October 4, 1988box 9, folder 2 October 15, 1988 (1 of 2)box 9, folder 3 October 15, 1988 (2 of 2)box 9, folder 4 November 1988box 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 Lbox 10, folder 2 2003 Dec. Mbox 10, folder 3 2004 Mar Abox 10, folder 4 2004 Mar. Bbox 10, folder 5 2004 Mar. Cbox 10, folder 6 2004 Mar. Dbox 10, folder 7 2004 Apr. Abox 10, folder 8 2004 Mar. Ebox 10, folder 9 2004 May Abox 10, folder 10 2004 May Bbox 10, folder 11 2004 Jun. Abox 10, folder 12 2004 Jun. Bbox 11, folder 1 2004 Jun. Cbox 11, folder 2 2004 June D (1 of 2)box 11, folder 3 2004 Jun D (2 of 2)box 11, folder 4 ARPA Reportsbox 11, folder 5 2004 Jun E-2box 11, folder 6 Elephantbox 11, folder 7 Data Mining Slidesbox 11, folder 8 2004 Jun F-1box 11, folder 9 1979 Notes - Linguisticsbox 11, folder 10 2004 Jun F-3box 11, folder 11 Humarbox 11, folder 12 2004 Jun F-5box 11, folder 13 2004 Jun-G



SC0524 44

box 11, folder 14 2004 Jun-Hbox 11, folder 15 2004 Jun H (2 of 2)box 11, folder 16 2004 Jun Ibox 11, folder 17 2004 Jul Abox 11, folder 18 Lisp Bookbox 11, folder 19 2004 July Bbox 11, folder 20 2004 July Cbox 11, folder 21 Chessbox 13, folder 1 May 91 (1 of 2)box 13, folder 2 May 91 (2 of 2)box 13, folder 3 Jun 91box 13, folder 4 Jul 91box 13, folder 5 Jul 91 (2)box 13, folder 6 August 91box 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 91box 13, folder 11 Dec 91box 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 92box 14, folder 1 April 92 1box 14, folder 2 April 92 2box 14, folder 3 April 92 3box 14, folder 4 April 92 4box 14, folder 5 April 92 5box 14, folder 6 April 92 6box 14, folder 7 April 92 7box 14, folder 8 April 92 8box 14, folder 9 April 92 9box 14, folder 10 May 92 1box 14, folder 11 May 92 2box 14, folder 12 May 92 3box 15, folder 1 May 92box 15, folder 2 Jun 92 1box 15, folder 3 Jun 92 2box 15, folder 4 Jun 92 3box 15, folder 5 Jul 92box 15, folder 6 Aug 92 1box 15, folder 7 Aug 92 2box 15, folder 8 Aug 92 3box 15, folder 9 Sep 92 (1 of 2)box 15, folder 10 Sep 92 (2 of 2)box 15, folder 11 Oct 92 1box 15, folder 12 Oct 92 2box 15, folder 13 Oct 92 3box 15, folder 14 Dec 92 1box 15, folder 15 Dec 92 2box 16, folder 1 Dec 92box 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



SC0524 45

box 16, folder 6 Jan 94box 16, folder 7 Feb 94 (1 of 3)box 16, folder 8 Feb 94 (2 of 3)box 16, folder 9 Mar 94box 16, folder 10 Apr 94 1box 16, folder 11 Apr 94 2box 16, folder 12 Apr 94 3box 16, folder 13 Apr 94 4box 16, folder 14 Apr 94 5box 17, folder 1 May 94 (1 of 2)box 17, folder 2 May 94 (2 of 2)box 17, folder 3 June 94box 17, folder 4 July 94box 17, folder 5 Aug 94box 17, folder 6 Jan 95box 17, folder 7 Mar 95 1box 17, folder 8 Mar 95 2box 17, folder 9 Mar 95 3box 17, folder 10 Mar 95 4box 17, folder 11 Mar 95 5box 17, folder 12 Mar 95 6box 17, folder 13 April 95 1box 17, folder 14 April 95 2box 17, folder 15 April 95 3box 17, folder 16 May 95box 18, folder 1 May 95 1box 18, folder 2 May 95 2box 18, folder 3 May 95 3box 18, folder 4 May 95 4box 18, folder 5 May 95 5box 18, folder 6 May 95 6box 18, folder 7 June 95 1box 18, folder 8 June 95 2box 18, folder 9 June 95 3box 18, folder 10 June 95 4box 18, folder 11 June 95 5box 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 95box 19, folder 2 Nov 95box 19, folder 3 Dec 95box 19, folder 4 Feb 96 1box 19, folder 5 Feb 96 2box 19, folder 6 Feb 96 3box 19, folder 7 Feb 96 4box 19, folder 8 Feb 96 5box 19, folder 9 Feb 96 6box 19, folder 10 Feb 96 7box 19, folder 11 Feb 96 8box 19, folder 12 Feb 96 9box 19, folder 13 Feb 96 10box 19, folder 14 Feb 96 11box 20, folder 1 Feb 96 12box 20, folder 2 Feb 96 13box 20, folder 3 Feb 96 14



SC0524 46

box 20, folder 4 Feb 96 15box 20, folder 5 Feb 96 16box 20, folder 6 Feb 96 17box 20, folder 7 Feb 96 18box 20, folder 8 Mar 96 1box 20, folder 9 Mar 96 2box 20, folder 10 April 96 1box 20, folder 11 April 96 2box 20, folder 12 April 96 3box 20, folder 13 May 1996 (1 of 2)box 20, folder 14 May 1996 (2 of 2)box 20, folder 15 June 1996box 20, folder 16 July 1996box 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 1989box 22, folder 1 September 1989 (1 of 2)box 22, folder 2 September 1989 (2 of 2)box 22, folder 3 October 1989 1box 22, folder 4 October 1989 2box 22, folder 5 October 1989 3box 22, folder 6 October 1989 4box 22, folder 7 November 1989box 22, folder 8 December 1989box 22, folder 9 January 1990 1box 22, folder 10 January 1990 2box 22, folder 11 January 1990 3box 22, folder 12 January 1990 4box 22, folder 13 January 1990 5box 22, folder 14 January 1990 6box 23, folder 1 February 1990box 23, folder 2 May 1990box 23, folder 3 June 1990 (1 of 2)box 23, folder 4 June 1990 (2 of 2)box 23, folder 5 July 1990 1box 23, folder 6 July 1990 2box 23, folder 7 July 1990 3box 23, folder 8 August 1990 1box 23, folder 9 August 1990 2box 23, folder 10 October 1990box 23, folder 11 November 1990 1box 23, folder 12 November 1990 2box 23, folder 13 November 1990 3box 23, folder 14 November 1990 4box 23, folder 15 November 1990 5box 24, folder 1 November 1990 6box 24, folder 2 November 1990 7box 24, folder 3 November 1990 8



SC0524 47

box 24, folder 4 November 1990 9box 24, folder 5 November 1990 10box 24, folder 6 March 1990 1box 24, folder 7 March 1990 2box 24, folder 8 March 1990 3box 24, folder 9 December 1990 1box 24, folder 10 December 1990 2box 24, folder 11 December 1990 3box 24, folder 12 December 1990 4box 24, folder 13 December 1990 5box 25, folder 1 December 1990 6box 25, folder 2 December 1990 7box 25, folder 3 December 1990 8box 25, folder 4 December 1990 9box 25, folder 5 December 1990 10box 25, folder 6 December 1990 11box 25, folder 7 January 1991 1box 25, folder 8 January 1991 2box 25, folder 9 January 1991 3box 25, folder 10 March 1991box 25, folder 11 April 1991box 25, folder 12 May 1991 (1 of 2)box 25, folder 13 May 1991 (2 of 2)box 26, folder 1 January 1993 1box 26, folder 2 January 1993 2box 26, folder 3 January 1993 3box 26, folder 4 January 1993 4box 26, folder 5 February 1993box 26, folder 6 March 1993box 26, folder 7 April 1993 1box 26, folder 8 April 1993 2box 26, folder 9 April 1993 3box 26, folder 10 May 1993box 26, folder 11 June 1993 1box 26, folder 12 June 1993 2box 26, folder 13 June 1993 3box 26, folder 14 June 1993 4box 27, folder 1 NWSMC June 23-24 1993box 27, folder 2 July 1993 (1 of 2)box 27, folder 3 July 1993 (2 of 2)box 27, folder 4 August 1993box 27, folder 5 Sept 1993box 27, folder 6 October 1993 1box 27, folder 7 October 1993 2box 27, folder 8 October 1993 3box 27, folder 9 January 1998box 27, folder 10 February/March 1998box 27, folder 11 April 1998box 27, folder 12 May 1998box 27, folder 13 June 1998box 27, folder 14 July 1998box 27, folder 15 Sept 1998box 27, folder 16 October 1998box 27, folder 17 November 1998 (1 of 2)box 27, folder 18 November 1998 (2 of 2)box 28, folder 1 August 1996box 28, folder 2 September 1996box 28, folder 3 October 1996



SC0524 48

box 28, folder 4 November 1996box 28, folder 5 December 1996box 28, folder 6 January 1997box 28, folder 7 March 1997box 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 1997box 28, folder 12 August 1997 1box 28, folder 13 August 1997 2box 28, folder 14 August 1997 3box 28, folder 15 August 1997 4box 29, folder 1 September 1997box 29, folder 2 October 1997box 29, folder 3 November 1997box 29, folder 4 December 1997box 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 1999box 30, folder 6 March 1999box 30, folder 7 May 1999box 30, folder 8 July 1999box 30, folder 9 August '99box 30, folder 10 September '99box 30, folder 11 Flavellbox 30, folder 12 November 1999box 30, folder 13 Time Blindbox 30, folder 14 December 1999box 30, folder 15 January 2000box 30, folder 16 February 2000box 30, folder 17 March 2000box 30, folder 18 Quantumbox 30, folder 19 Kurklubox 30, folder 20 May 2000box 31, folder 1 June 2000 (1 of 2)box 31, folder 2 June 2000 (2 of 2)box 31, folder 3 July 2000box 31, folder 4 August 2000box 31, folder 5 September 2000box 31, folder 6 October 2000box 31, folder 7 November 2000box 31, folder 8 December 2000 (1 of 2)box 31, folder 9 December 2000 (2 of 2)box 31, folder 10 Jan 2001box 31, folder 11 Feb-March 2001box 31, folder 12 April 2001box 31, folder 13 May 2001box 31, folder 14 July 2001box 31, folder 15 October 2001 (Part 1)box 31, folder 16 October 2001 (Part 2)box 31, folder 17 November 2001box 31, folder 18 December 2001 Part 1box 31, folder 19 December 2001 Part 2box 31, folder 20 December 2001 Part 3box 31, folder 21 Jan 2002box 31, folder 22 Chron April 2002



SC0524 49

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 2003box 32, folder 5 May 2003box 32, folder 6 July 2003box 32, folder 7 December 2003 1box 32, folder 8 December 2003 2box 32, folder 9 December 2003 3box 32, folder 10 December 2003 4box 32, folder 11 December 2003 5box 32, folder 12 December 2003 6box 32, folder 13 December 2003 7box 32, folder 14 December 2003 8box 32, folder 15 December 2003 9

Non-Monotone Reasoning files box 29, folder 5 Non-Mono Dups A-Fbox 29, folder 6 Non-Mono Dups G-Lbox 29, folder 7 Non-Mono Dups M-Sbox 29, folder 8 Non-Mono M-Sbox 29, folder 9 Non-Mono T-Zbox 29, folder 10 Non-Monotonic Reasoningbox 29, folder 11 Nonmonotonic Librarybox 29, folder 12 Non-Mono A-Fbox 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, Peterbox 29, folder 17 Ajenstat, Henribox 29, folder 18 Allen, F. E.box 29, folder 19 Allen, Johnbox 29, folder 20 Ambler, Allen L.box 29, folder 21 Andrews, Peterbox 29, folder 22 Anisimovbox 29, folder 23 Antoni, Giovanni D.box 29, folder 24 Ashcroft, E. A.box 29, folder 25 Aspvall, Bengtbox 29, folder 26 AAAIbox 29, folder 27 AAAI Workshopsbox 29, folder 28 ABLbox 29, folder 29 ACMbox 29, folder 30 Access to Energybox 29, folder 31 AI Project Adminbox 29, folder 32 Abstract Syntax and Semantics of Programs To Gobox 29, folder 33 Academic Councilbox 33, folder 1 Advice Takenbox 33, folder 2 Algebraic Simplificationbox 33, folder 3 Air Sickness Bagsbox 33, folder 4 Airlinebox 33, folder 5 Alaskabox 33, folder 6 Algebraic Languagebox 33, folder 7 ALGOL (1 of 2)

Additional Material Accession ARCH-2012-055Alpha Files


SC0524 50

box 33, folder 8 ALGOL (2 of 2)box 33, folder 9 Ambiguity Tolerancebox 33, folder 10 Appointmentsbox 33, folder 11 April 1979box 33, folder 12 Miscellaneous 1977-1979box 33, folder 13 Arnold, R. Davidbox 33, folder 14 Colbybox 33, folder 15 Crockerbox 33, folder 16 Tesler, L.G.box 33, folder 17 Wagner, Toddbox 33, folder 18 Weiner, Peterbox 33, folder 19 Elschlager, R.box 33, folder 20 Ginsparg, Jerroldbox 33, folder 21 Harvey, Brianbox 33, folder 22 Levy, Davidbox 33, folder 23 Sintzoff, Michelbox 33, folder 24 Stark, W. Richardbox 33, folder 25 Swinehart, Danbox 33, folder 26 ARPAbox 33, folder 27 Assignmentsbox 33, folder 28 Automated Biological Lab with Glazer, Minskybox 33, folder 29 Ascribingbox 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, Forestbox 33, folder 35 Bauer, F.L.box 33, folder 36 Bibel, Wolfgangbox 33, folder 37 Bledsoe, W.W.box 33, folder 38 Bobrow, Daniel G.box 33, folder 39 Bochmann, Gregorbox 33, folder 40 Bosack, L.box 33, folder 41 Bourbaki, Nicholas (Peter?)box 33, folder 42 Bayerbox 33, folder 43 Brooksbox 33, folder 44 Buchananbox 33, folder 45 Bukovskybox 33, folder 46 Bulnesbox 33, folder 47 Burstallbox 33, folder 48 Buvac, Sasabox 33, folder 49 Bad Ideasbox 33, folder 50 Barwisebox 34, folder 1 Bibliographybox 34, folder 2 Biographybox 34, folder 3 Bookbox 34, folder 4 Brattle Research re: MAD Intelligent Systemsbox 34, folder 5 Britannicabox 34, folder 6 Budgetbox 34, folder 7 Cartwrightbox 34, folder 8 Cheeseman, Peterbox 34, folder 9 Budgetbox 34, folder 10 Chin, David Ngibox 34, folder 11 Chou, Shang-Chinbox 34, folder 12 Chudnovsky, Davidbox 34, folder 13 Clancy, William J.box 34, folder 14 Codfish, Michaelbox 34, folder 15 Costello, Tom



SC0524 51

box 34, folder 16 The Future of Cars, Energy, Environment, Economics. January 27-28box 34, folder 17 CASBSbox 34, folder 18 CBCLbox 34, folder 19 Center for Democracy in the USSRbox 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 Chessbox 34, folder 24 Chowningbox 34, folder 25 Circle Generatorbox 34, folder 26 Circuit Layoutbox 34, folder 27 Circumscriptionbox 34, folder 28 Classbox 34, folder 29 CS323 Nonmonotonic Reasoningbox 34, folder 30 CS323 1993 Handout #1box 34, folder 31 STS160 1998box 34, folder 32 Clean Airbox 34, folder 33 Clippingsbox 34, folder 34 COBOLbox 35, folder 1 For Commitmentsbox 35, folder 2 Common Sense Slidesbox 35, folder 3 Compilerbox 35, folder 4 Comprehensivebox 35, folder 5 Computer Centerbox 35, folder 6 Computer Control Labbox 35, folder 7 Computer Man Society Proceedings, Haifabox 35, folder 8 Computer Man Society Proceedings, Haifa '79box 35, folder 9 Computer Science Divisionbox 35, folder 10 Computersbox 35, folder 11 Computing Reviewsbox 35, folder 12 Consciousnessbox 35, folder 13 Consultingbox 35, folder 14 Crearybox 35, folder 15 CS206 1980box 35, folder 16 CS258 W75box 35, folder 17 CSDbox 35, folder 18 CSD-CFbox 35, folder 19 CVLIKbox 35, folder 20 Current Teachingbox 35, folder 21 Davis, Byronbox 35, folder 22 Davis, Ernestbox 35, folder 23 Deck Setup for a Lisp Jobbox 35, folder 24 Dennis, Jack B.box 35, folder 25 Deransart, Pierrebox 35, folder 26 Dincbas, M.box 35, folder 27 Doylebox 35, folder 28 Drabent, Wlodzimierzbox 35, folder 29 Dreyfus, H.box 35, folder 30 Drummond, Mark E.box 35, folder 31 Dialogbox 35, folder 32 Dialog systemsbox 35, folder 33 Dues and Subsbox 35, folder 34 DuPont Article from FORTUNEbox 35, folder 35 Edelman, Shimonbox 35, folder 36 Ershov, Andreibox 35, folder 37 EBOS including IBM RTbox 35, folder 38 Educational Literaturebox 35, folder 39 Educational Remarks



SC0524 52

box 35, folder 40 EKLbox 35, folder 41 Elementary Programmingbox 35, folder 42 Elephantbox 36, folder 1 Elephant Lecturebox 36, folder 2 Electrochemical Lab (Tokyo)box 36, folder 3 Energybox 36, folder 4 Environmental Materialbox 36, folder 5 Expensebox 36, folder 6 Faginbox 36, folder 7 Falkenhaimer, Brianbox 36, folder 8 Feferman, Solomonbox 36, folder 9 Feigenbaum, E.A.box 36, folder 10 Fiat, Amosbox 36, folder 11 Freiling, Chrisbox 36, folder 12 Friedlanderbox 36, folder 13 Futamura, Yoshihikobox 36, folder 14 Feldmanbox 36, folder 15 Filmanbox 36, folder 16 Finlaysonbox 36, folder 17 Fredkinbox 36, folder 18 Fall Joint Programming Racebox 36, folder 19 The Feasibility of Interstellar Travelbox 36, folder 20 From brown notebook OAIbox 36, folder 21 Forsythebox 36, folder 22 Future of scientific publication slidesbox 36, folder 23 Gabriel, Richard P.box 36, folder 24 Ganapathybox 36, folder 25 Gardner, A.box 36, folder 26 Gazdar, Geraldbox 36, folder 27 Gelfund, I.M.box 36, folder 28 Geneserethbox 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, Matthewbox 36, folder 34 Goad, C.box 36, folder 35 Goguen, Joseph A.box 36, folder 36 Golden, Donaldbox 36, folder 37 Gordon, M.box 36, folder 38 Gorinbox 36, folder 39 Gosling, Jamesbox 36, folder 40 Jasper, R.box 36, folder 41 Granlund, Goesta H.box 37, folder 1 Greenbox 37, folder 2 Greenberg, Ninabox 37, folder 3 Greenblattbox 37, folder 4 Gries, D.box 37, folder 5 Griss, M.box 37, folder 6 Grosof, Benjaminbox 37, folder 7 Grosz, Barbarabox 37, folder 8 Glasnostbox 37, folder 9 Government Supportbox 37, folder 10 Graduate Studentsbox 37, folder 11 Grants and Reviewsbox 37, folder 12 Hagert, Goranbox 37, folder 13 Haneclou, Peterbox 37, folder 14 Hanks, Steve



SC0524 53

box 37, folder 15 Hannahbox 37, folder 16 Hanson, Robinbox 37, folder 17 Hauglandbox 37, folder 18 Hayes-Roth, Barbarabox 37, folder 19 Hayes (1 of 2)box 37, folder 20 Hayes (2 of 2)box 37, folder 21 Hedlund, Martinbox 37, folder 22 Hewitt, Carlbox 37, folder 23 Hilts, P.box 37, folder 24 Hillis, Daniel W.box 37, folder 25 Hin Tikkabox 37, folder 26 Hirsch, M.box 37, folder 27 Hobbs, Jerrybox 37, folder 28 Hobbsbox 37, folder 29 Hoffman, William C.box 37, folder 30 Hofstadter, Douglasbox 37, folder 31 Holloway, Davidbox 37, folder 32 Hooman, Jozefbox 37, folder 33 Hopcroft, Johnbox 37, folder 34 Houri, A.box 37, folder 35 Huberman, Bernardobox 37, folder 36 Hungbox 37, folder 37 Hunt, Warren A., Jr.box 37, folder 38 Hunter, Maxwell W. IIbox 37, folder 39 Hurlbert, Anyabox 37, folder 40 Hyde, Roderick A.box 37, folder 41 Howardbox 37, folder 42 Hieronymusbox 37, folder 43 High Frontierbox 38, folder 1 HIJCAI Politicsbox 38, folder 2 Home Terminal Paperbox 38, folder 3 IBMbox 38, folder 4 Ideas for Projectbox 38, folder 5 IFIP Congress '65box 38, folder 6 IFIP Papersbox 38, folder 7 Incomplete Workbox 38, folder 8 Indiabox 38, folder 9 Inferencebox 38, folder 10 Possible Forms of Intelligencebox 38, folder 11 Jbox 38, folder 12 Kbox 38, folder 13 Kiessling, Wernerbox 38, folder 14 Knutsson, H.box 38, folder 15 Komorowski, H.J.box 38, folder 16 Konolige, Kurtbox 38, folder 17 Korf, Richard E.box 38, folder 18 Kowalski, Robertbox 38, folder 19 Knowledgebox 38, folder 20 Knowledge 1986 Manbox 38, folder 21 Knowledgebasebox 38, folder 22 Jean-Louis Lassezbox 38, folder 23 Lloyd, J.W.box 38, folder 24 Lbox 38, folder 25 Lighthill Review Masterbox 38, folder 26 Lighthill Review Copiesbox 38, folder 27 Levinthalbox 38, folder 28 Lickliderbox 38, folder 29 Lederberg



SC0524 54

box 38, folder 30 Lettersbox 38, folder 31 Letters - low prioritybox 38, folder 32 Workshop on Planning and Reasoning about Action, 1986box 38, folder 33 Library Listingsbox 38, folder 34 LISP Functionsbox 38, folder 35 LMCbox 38, folder 36 LISP Bookbox 38, folder 37 Little Thoughtsbox 39, folder 1 Martinbox 39, folder 2 McDermott, Drewbox 39, folder 3 Mbox 39, folder 4 McMahon Squares Puzzles, Etc.box 39, folder 5 Menzelbox 39, folder 6 Minskybox 39, folder 7 Moore, Robert C.box 39, folder 8 Moravec, Hans P.box 39, folder 9 MADbox 39, folder 10 MAIL to Answerbox 39, folder 11 Manuscripts box 39, folder 12 Math Scibox 39, folder 13 MCCbox 39, folder 14 Miscbox 39, folder 15 Misc Reprintsbox 39, folder 16 MTCbox 39, folder 17 Missionaries & Cannibalsbox 39, folder 18 My Notesbox 39, folder 19 Namesbox 39, folder 20 National Association of Scholarsbox 39, folder 21 Notes Sept-Oct 79box 39, folder 22 Naivetebox 39, folder 23 Names & Numbersbox 39, folder 24 Nat. Res. Councilbox 39, folder 25 New Computerbox 39, folder 26 Not In Our Genesbox 39, folder 27 Notesbox 39, folder 28 Non-Monotonic Slidesbox 39, folder 29 Notebooksbox 39, folder 30 Notesbox 39, folder 31 Notes June 74box 39, folder 32 JMC Notesbox 39, folder 33 Research Notes, TSbox 39, folder 34 Research Notes, AIbox 39, folder 35 Natl Academy of Sciencesbox 39, folder 36 National Academy of Sciences 2box 40, folder 1 NCDbox 40, folder 2 Natl. Assoc. Sch.box 40, folder 3 1987 August - Novemberbox 40, folder 4 Notesbox 40, folder 5 Notebooksbox 40, folder 6 Notes 3box 40, folder 7 Notes 4box 40, folder 8 Notes 5box 40, folder 9 Notes 6box 40, folder 10 Obstaclebox 40, folder 11 Nbox 40, folder 12 Nilsson, Martinbox 40, folder 13 Old Corresp. JMCbox 40, folder 14 P-Q



SC0524 55

box 40, folder 15 Parallel Computingbox 40, folder 16 Passport & Visasbox 40, folder 17 Philosophy Papersbox 40, folder 18 PYLYSHYNbox 40, folder 19 Papers Being Revisedbox 40, folder 20 PROLOGbox 40, folder 21 PDP 1box 41, folder 1 PDPbox 41, folder 2 7090box 41, folder 3 Proposalsbox 41, folder 4 Projectsbox 41, folder 5 Personnelbox 41, folder 6 Prospective Visitorsbox 41, folder 7 Provinbox 41, folder 8 Philosophy and AIbox 41, folder 9 Philosophy Reprintsbox 41, folder 10 Project Ind.box 41, folder 11 Propagandabox 41, folder 12 Parallel Computerbox 41, folder 13 Petitionbox 41, folder 14 Pbox 41, folder 15 Perlis, Donaldbox 41, folder 16 Perry, Johnbox 41, folder 17 Petrie, Charles, Jr.box 41, folder 18 Phelps, John B.box 41, folder 19 Popplestone, Robinbox 41, folder 20 Przymusinski, Teodor C.box 41, folder 21 Queensbox 41, folder 22 Q. 32box 41, folder 23 Rbox 41, folder 24 Reiter, Raymondbox 41, folder 25 Restivobox 41, folder 26 Ringlebox 41, folder 27 Real Time Languagebox 41, folder 28 Recursion Articlebox 41, folder 29 Refilebox 41, folder 30 Report Listsbox 41, folder 31 Refereeing and Reviewingbox 41, folder 32 Requestsbox 41, folder 33 Revolutionbox 41, folder 34 Sbox 41, folder 35 Science and Societybox 41, folder 36 Scientific American Articlebox 41, folder 37 Scientific Americanbox 41, folder 38 Soviet Bureaucracies Souvenirsbox 41, folder 39 SDIbox 42, folder 1 Soviet Computingbox 42, folder 2 SDIbox 42, folder 3 STObox 42, folder 4 Spring 1979box 42, folder 5 Sigma Xi Lecturebox 42, folder 6 Searle Slidesbox 42, folder 7 Senatebox 42, folder 8 Stanford Senatebox 42, folder 9 IJCAI Tripbox 42, folder 10 Sh-Szbox 42, folder 11 Shapiro, Ehudbox 42, folder 12 Shoham, Yoav



SC0524 56

box 42, folder 13 Spee, Paulbox 42, folder 14 Simple Simonbox 42, folder 15 Slides - Use of Computer in Officesbox 42, folder 16 Slomanbox 42, folder 17 Study Groub [sic] Businessbox 42, folder 18 Sustainabilitybox 42, folder 19 Samizdat bulletinbox 42, folder 20 Sa-Sgbox 42, folder 21 Safra, Shmuelbox 42, folder 22 Sandewall, Erikbox 42, folder 23 Sergot, M. J.box 42, folder 24 Slides and transparenciesbox 42, folder 25 McCarthy Papersbox 42, folder 26 assorted transparenciesbox 42, folder 27 Unlabeled Misc.box 42, folder 28 Space Travelbox 43, folder 1 Talcott Thesisbox 43, folder 2 Time Sharing Debugging for a Small Computer box 43, folder 3 Int'l Symp on AI 11/13-15 - Cancunbox 43, folder 4 Symp - Bledsoe - Texas 11/15-16box 43, folder 5 Newcastle-on-Tyne 9//7-11/92box 43, folder 6 Transparenciesbox 43, folder 7 Knowledge Slidesbox 43, folder 8 Transparencies 2box 43, folder 9 Some Expert Systemsbox 43, folder 10 Terminal, Etc.box 43, folder 11 US-Japan AI Conferencebox 43, folder 12 Time Sharing Grantbox 43, folder 13 Tbox 43, folder 14 Taylor, Stephenbox 43, folder 15 Toledo, Suebox 43, folder 16 TWXbox 43, folder 17 B 5000box 43, folder 18 U Texasbox 43, folder 19 U-Vbox 43, folder 20 van der Poel, W. L.box 43, folder 21 VTSSbox 43, folder 22 W 1box 43, folder 23 W 2box 43, folder 24 Winograd, Terrybox 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.94305box 44, folder 3 1970 Bbox 44, folder 4 1970 Cbox 44, folder 5 Fall 1970box 44, folder 6 1970? Abox 44, folder 7 Dec 1970 Dbox 44, folder 8 Dec. 1970 Ebox 44, folder 9 Computers in Number Theory/Number Theory/Elementary Number Theory/Cours

d'Arithmatiquebox 44, folder 10 1972 Julybox 44, folder 11 Dec 1973box 44, folder 12 Dec 1974 Abox 44, folder 13 Dec 1974 B

Additional Material Accession ARCH-2012-055Notebooks


SC0524 57

box 44, folder 14 May 1977 I. Knowledgebox 44, folder 15 9 June 1977box 44, folder 16 1977 Sept 18box 44, folder 17 Dec 19, 1977box 44, folder 18 1982 Abox 44, folder 19 Round the world in '78box 44, folder 20 July 8, 1979box 44, folder 21 circa 1980?box 44, folder 22 circa 1975box 44, folder 23 1981 Sept 15box 44, folder 24 June 19, 1981box 44, folder 25 1981 June 11. Contains draft of Coloring Maps and the Kowalski Doctrinebox 44, folder 26 1981 May 26. ANL (artificial natural language)box 44, folder 27 1982 April 17box 44, folder 28 1982 Aug 19box 44, folder 29 1982 April 22box 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 11box 44, folder 32 1982 Sept 4box 44, folder 33 1983 June 27box 44, folder 34 1983 Sept 13box 44, folder 35 from 1983 Dec 19 to 1984 Jun 21box 44, folder 36 1984 June 20 - 1984 Sept 10box 44, folder 37 1984 Dec 20 - 1985 Mar 26box 44, folder 38 1985 June 12 - 1985 Sept 19box 44, folder 39 1985 Sept 19 - 1986 Mar 21box 45, folder 1 1986 Mar 22 - 1986 Aug 14box 45, folder 2 1986 Aug 14 - 1986 Dec 4box 45, folder 3 1986 Dec 4 - 1987 May 6box 45, folder 4 1987 May 6 - 1987 July 11box 45, folder 5 1987 July 12 - 1987 Oct 5box 45, folder 6 1987 Oct 14 -box 45, folder 7 1988 Mar 1 - 1988 June 20box 45, folder 8 1988 June 21 - 1988 Nov 14box 45, folder 9 1988 Nov 14 - 1989 April 25box 45, folder 10 1989 Apr 26 - 1989 Dec 31box 45, folder 11 1990 June 1 - July 15box 45, folder 12 1990 July 29 -box 45, folder 13 1990 Sept 16 - Novemberbox 45, folder 14 3.15box 45, folder 15 1991 Jan 27 - 1991 Nov 13box 45, folder 16 1992 May 1 - 1992 Nov 20box 45, folder 17 1993 June 20 -box 45, folder 18 97 Nov 7box 45, folder 19 2000 May 31box 45, folder 20 small red Memo bookbox 45, folder 21 small green Mead Memo bookbox 45, folder 22 small spiral-bound green checked notebookbox 45, folder 23 41176box 45, folder 24 small green checked notebookbox 45, folder 25 small hot pink notebookbox 45, folder 26 small yellow notebookbox 45, folder 27 1988 Aug 3box 45, folder 28 blue spiral-bound notebook

Misc

Additional Material Accession ARCH-2012-055Misc


SC0524 58

box 12, folder 1 Formal Reas.box 12, folder 2 Port. Comm. Lisp.box 12, folder 3 DARPA Hardwarebox 12, folder 4 Basic AIbox 12, folder 5 EBOSbox 12, folder 6 Theorem Prov.box 12, folder 7 Advanced R & Dbox 12, folder 8 QLISPbox 12, folder 9 DARPA Contract Informationbox 12, folder 10 Technology Essaybox 12, folder 11 Elephantbox 12, folder 12 JMC notes, handwrittenbox 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 Cbox 12, folder 18 2004 Sept Bbox 46, folder 1 CSLI Monthlybox 46, folder 2 Conference Record of the 1980 LISP Conferencebox 46, folder 3 QLISPbox 46, folder 4 LISP Programming and Provingbox 46, folder 5 Elephantbox 46, folder 6 Umbrella Feb 89box 46, folder 7 Loose Misc.box 46, folder 8 Outgoing Correspondencebox 46, folder 9 1989 Correspondence - JMCbox 46, folder 10 JMC 1989-1990box 46, folder 11 LISP History 1box 46, folder 12 References for JMC LISPbox 46, folder 13 LISP History 2box 46, folder 14 Commonsensebox 46, folder 15 Rec. Humorbox 47, folder 1 Solutions for CS 257A's Finalbox 47, folder 2 CS226 Wtr. 1981. Epistem. Problems of AIbox 47, folder 3 PROLOG 1982 CS321box 47, folder 4 CS204 1982box 47, folder 5 CS206 Fall 1982box 47, folder 6 CS226 Winter 82-83box 47, folder 7 CS206 1983box 47, folder 8 CS258 W84box 47, folder 9 CS157A Winter 84 Reading Coursebox 47, folder 10 CS157 Winter 1983box 47, folder 11 CS157B Spring 1983box 47, folder 12 CS323 Readerbox 47, folder 13 CS258 notesbox 47, folder 14 CS 221box 47, folder 15 CS 323box 47, folder 16 CS306box 47, folder 17 CS 221 1990box 47, folder 18 CS157 1991box 47, folder 19 CS242 F92box 47, folder 20 CS 323 Winter 90box 47, folder 21 CS 323 1992box 47, folder 22 CS 157 1992box 48, folder 1 Common Sense '93 Working Papersbox 48, folder 2 Non-Monotonic Reasoning Workshopbox 48, folder 3 CS 323 Winter 1996 Reader

Additional Material Accession ARCH-2012-055Misc


SC0524 59

box 48, folder 4 Stanford Artificial Intelligence Projectbox 48, folder 6 Final Report: Research in Mathematical Theory of Computationbox 48, folder 7 LISP Programming and Provingbox 48, folder 8 Librarybox 48, folder 9 Papersbox 48, folder 10 Papersbox 48, folder 11 NSF MCS81-11586 2 FCZ 432box 48, folder 12 2FCZ 451 163C 187 NSF MCS 82-06565 JMC-Ketonenbox 48, folder 13 AFOSR 2FCZ464 AFOSR81-0014box 48, folder 14 2 FCZ762 ARPA N00039-82-C-0250 McCarthybox 48, folder 15 ARPA Equipment 2FCZ780 MDA903 83 C0188 187X007box 48, folder 16 2FCZ913 IBM 192T412box 48, folder 17 JMC Japan NSFbox 48, folder 18 2M-AFOSR 84-85box 48, folder 19 Gabriel Proposalbox 48, folder 20 Portable Common LISP ARPA Proposalbox 48, folder 21 JMC NSF Renewalbox 48, folder 22 2M/Pnueli NSFbox 48, folder 23 JMC/Goad MCS-8305026 NSF 1983-85box 48, folder 24 Unfunded Proposalsbox 48, folder 25 JMC ARPAbox 49, folder 1 VTSS Essaybox 49, folder 2 CS323 1993box 49, folder 3 CS323 Nonmonotonic Reasoningbox 49, folder 4 C323 1994 1box 49, folder 5 CS323 1994 2box 49, folder 6 CS323 W95box 49, folder 7 STS 160 1994box 49, folder 8 STS 160 W95box 49, folder 9 Inconvenient Car Trouble, Axiomsbox 49, folder 10 Proving Properties of Programsbox 49, folder 11 assorted loose leaves - misc.box 50, folder 1 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. 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.

Physical Description: 1 audiotape reel(s) box 50, folder 6 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 19Physical Description: 1 videotape(s) (vhs)

Additional Material Acession ARCH-2013-047

Additional Material Acession ARCH-2013-047Audiovisual material


SC0524 60

box 1, folder 1 notes - handwritten 1950sbox 1, folder 2 Memos and Reprints - McCarthybox 1, folder 3 Misc notes - not JMGbox 1, folder 4 Old Notesbox 1, folder 5 Fredkin, McCarthy - Time Sharingbox 1, folder 6 LISP Kalah Programbox 1, folder 7 Probalistic models of gamesbox 1, folder 8 Aggregationbox 1, folder 9 Kryloff and Bogoliuboffbox 1, folder 10 Subject 6.41 course notesbox 1, folder 11 Introduction to automatic computationbox 1, folder 12 Subject 6.41 course notes - McCarthybox 1, folder 13 Darmouth summer project notesbox 1, folder 14 current misc writings (from 1970)box 1, folder 15 Lettersbox 1, folder 16 Lettersbox 1, folder 17 Aggregationbox 1, folder 18 Automata Studiesbox 1, folder 19 Machine modficationsbox 1, folder 20 Summer research projectbox 1, folder 21 Badgesbox 1, folder 22 The AI problem - hierarchy of topicsbox 1, folder 24 Clean up System 15box 1, folder 25 No on 15box 1, folder 26 Intro to Turing Machinesbox 1, folder 27 Research notes 1950sbox 1, folder 28 Projectsbox 1, folder 29 IBM Consultant memosbox 1, folder 30 Proof Checking (Stanford CS Department)box 1, folder 31 Advice Taker (Stanford CS Department)box 1, folder 32 Time-Sharing Notesbox 1, folder 33 Essaysbox 1, folder 34 CHESS (Stanford CS Department)box 1, folder 35 Chemistry 10box 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 Sepbox 2, folder 2 Folder B: Notes, letters, reports, and various other documents 2003 Sepbox 2, folder 3 Folder C: Notes, letters, reports, and various other documents 2003 Sepbox 2, folder 4 Folder D: Notes, letters, reports, and various other documents 2003 Sepbox 2, folder 5 Folder E: Notes, letters, reports, and various other documents 2003 Sepbox 2, folder 6 Folder F: Notes, letters, reports, and various other documents 2003 Sepbox 2, folder 7 Folder G: Notes, letters, reports, and various other documents 2003 Sepbox 2, folder 8 Folder E: Notes, letters, reports, and various other documents 2003 Sepbox 2, folder 9 Folder A: Notes, letters, reports, and various other documents 2003 Octbox 2, folder 10 Folder B: Notes, letters, reports, and various other documents 2003 Octbox 2, folder 11 Folder A: Notes, letters, reports, and various other documents 2003 Novbox 2, folder 12 Folder B: Notes, letters, reports, and various other documents 2003 Novbox 2, folder 13 Folder C: Notes, letters, reports, and various other documents 2003 Novbox 2, folder 14 Folder D: Notes, letters, reports, and various other documents 2003 Novbox 2, folder 15 Folder E: Notes, letters, reports, and various other documents 2003 Novbox 2, folder 16 Folder F: Notes, letters, reports, and various other documents 2003 Novbox 2, folder 17 Folder G: Notes, letters, reports, and various other documents 2003 Novbox 2, folder 18 Folder A: Notes, letters, reports, and various other documents 2003 Decbox 2, folder 19 Folder B: Notes, letters, reports, and various other documents 2003 Dec



SC0524 61

box 3, folder 1 Chess program, notes on computer program Undatedbox 3, folder 2 DocDil, CS Brain exercises 1970sbox 3, folder 3 Letter from Leith Philip 1989box 3, folder 4 A letter from Vietnam, 1963 1989box 3, folder 5 Letter from Donald Plichie 8-Mar-90box 3, folder 6 Contexts academic report 1989box 3, folder 7 Notes CYCL Jun-89box 3, folder 8 Letter from the University of Maryland 16-Feb-61box 3, folder 9 Letter from the Putnam Mathematics Competition 18-Jul-56box 3, folder 10 Photograph May-90box 3, folder 11 Notebook circa 1988box 3, folder 12 Folder B. Various notes, reports, and other documents Dec-03box 3, folder 13 Folder C. Various notes, reports, and other documents Dec-03box 3, folder 14 Folder C. Various notes, reports, and other documents Jan-04box 3, folder 15 Folder B. Various notes, reports, and other documents Jan-04box 3, folder 16 Folder A. Various notes, reports, and other documents Aug-04box 3, folder 17 Songs, various song lyrics Undatedbox 3, folder 18 Old Pocket Notes & Bus Cards Undatedbox 3, folder 19 Martha, notes 1960sbox 3, folder 20 Manuscripts 1950s-1960sbox 4, folder 1 John (Jack) McCarthy Letters and Photos 1960s-1980sbox 4, folder 2 Michael R. Genesereth Academic Papers 1982box 4, folder 3 Math Academic Papers: V.I. Arnold and Michael Robert Herman 1964box 4, folder 4 Artificial Intelligence Academic Papers: William A. Hoff, Ryszard S. Michalski, Robert

E. Stepp 1986box 4, folder 5 SE2 Policy 1970s-1980sbox 4, folder 6 Reprints reprints AI - others 1982box 4, folder 7 Reprints - Non CS Academic Papers 1975-1976box 4, folder 8 Sigma Xi Lecture Undatedbox 4, folder 9 Notes - JME, including math problems and solutions circa 1975box 4, folder 10 Calculators Notes and Reports 1982box 4, folder 11 Civil Defense Papers 1981box 4, folder 12 III Planning Committee Notes and Reports 1981box 4, folder 13 III Technical Advisory Committee Report 4-Aug-82box 4, folder 14 AIPHIL Book 1970s-1980sbox 4, folder 15 CBCL, Notes and Reports 1970s-1980sbox 4, folder 16 Consulting Agreements 1985-1986box 4, folder 17 CS 226, Notes on CS and one academic report 1960s-1980sbox 4, folder 18 Drafts - JME, Academic Reports 1979-1981box 4, folder 19 Editors, Command chart Undatedbox 4, folder 20 Circumscription, academic paper with rough draft and notes 1981box 4, folder 21 GE Talk notes and O.T.S. Undatedbox 4, folder 22 Interell, Reports and Miscellaneous Documents 1984-1985box 4, folder 23 LISP Book Mar-81box 4, folder 24 MAD-2 Product Planning Meeting notes 8-Mar-85box 4, folder 25 Artificial Intelligence notes 1980-1985box 4, folder 26 JMC Notes 1978-1979box 4, folder 27 Reprints, non-JMC, Academic Reports and Various documents 1970s-1980sbox 4, folder 28 My reprints, Academic reports, pamphlets, and other documents 1960s-1980sbox 4, folder 29 Reprints on Academic reports 1970sbox 4, folder 30 SE2 Reports and various documents 1980sbox 4, folder 31 Space, work done with NASA, etc 1970s-1980sbox 4, folder 32 Winston notes Undatedbox 5, folder 1 Misc, One correspondence and a resume Aug-78box 5, folder 2 Bukovsky, Correspondences Jul-85box 5, folder 3 SE2, Extensive and lengthy reports, heavy folder 1974-1984box 5, folder 4 Carolyn, Computer reports 29-Apr-80box 5, folder 5 Misc Sci, Reports 11-Jan-69



SC0524 62

box 5, folder 6 Interference Corporation, all documents, heavy folder 1983-1984box 5, folder 7 John McCarthy, Everything from expense to academic reports to miscellaneous

subfolders and documents 1983-1986box 5, folder 8 More Interference, Reports and supplement documents 1983-1984box 5, folder 9 III Stock, Correspondences, pay stubs, miscellaneous documents including some from

from Merrill Lynch 1973-1976box 5, folder 10 III, Correspondences, reports, and miscellaneous documents 1983-1984box 5, folder 11 PCC, Various documents but mainly correspondences 1978box 5, folder 12 Hoover, One memorandum 30-Sep-83box 5, folder 13 III, Documents, notes, and correspondences 1980box 5, folder 14 III Current, Documents, notes, and correspondences 1975-1983box 5, folder 15 Issues, report on issues in Computer Science 10-Oct-73box 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 1979box 5, folder 19 Quasar, Newspaper stories and other reports 1977box 5, folder 20 Sense issues, reports, newspapers, and other miscellaneous documents 1977box 5, folder 21 Shockley newspaper cover story 30-Sep-70box 6, folder 1 A variety of reports, meeting notes, and miscellaneous documents 1988 Janbox 6, folder 2 Newspapers, correspondences, and reports 1988 Febbox 6, folder 3 Correspondences and a variety of reports 1988 Marbox 6, folder 4 Correspondences and a variety of pamphlets 1988 Aprbox 6, folder 5 Copy of a newspaper cover story and notes from a Board Meeting with Information

International 1988 Maybox 6, folder 6 An "Operations Report" and a newspaper editorial 1988 Junbox 6, folder 7 Documents 1-26, A variety of reports, newspapers, and miscellaneous documents

1988 Julbox 6, folder 8 Documents 1-11, A variety of pamphlets, magazines, and miscellaneous documents

1988 Augbox 6, folder 9 Documents 1-16, A variety of correspondences, reports, pamphlets, and

miscellaneous documents 1988 Sepbox 6, folder 10 Documents 1-12, A variety of reports, proposals, and miscellaneous documents 1988

Octbox 6, folder 11 A variety of correspondences and scholarly reports 1988 Novbox 6, folder 12 Documents 25-52, A variety of correspondences and scholarly reports 1988 Decbox 6, folder 13 Documents 1-24, A variety of correspondences and scholarly reports 1988 Decbox 6, folder 14 Folder A, A variety of maps, reports, and miscellaneous documents 1987 Augbox 6, folder 15 Folder B, Scans of books 1987 Augbox 6, folder 16 A variety of reports, pamphlets, and miscellaneous documents 1987 Augbox 6, folder 17 A variety of reports, pamphlets, and miscellaneous documents 1987 Augbox 6, folder 18 A variety of correspondences and scholarly reports 1987 Julbox 6, folder 19 A variety of reports, pamphlets, and miscellaneous documents 1987 Marbox 6, folder 20 A variety of reports, pamphlets, and miscellaneous documents 1987 Febbox 6, folder 21 Mostly reviews and a couple of magazines 1987 Janbox 7, folder 1 Notes, reports, classroom exams, and various documents 1986 Decbox 7, folder 2 Notes, reports, and various documents 1986 Novbox 7, folder 3 Notes, reports, and various documents 1986 Novbox 7, folder 4 Mostly academic reports 1986 Novbox 7, folder 5 Correspondences, and one notebook ('04) 1989, and 2000sbox 7, folder 6 John McCarthy Novel drafts with comments 2004box 7, folder 7 Oral History Interview 1990box 7, folder 8 Souvenirs, Drafts of an apparent book "A nerd, a woman, and an Imprudent AI."

Undatedbox 7, folder 9 Passports, visas, and other travel documents 1980s-00sbox 7, folder 10 Word Spinners, appears to be a draft version of a book 24-Jul-04box 7, folder 11 Inventions, patents and templates for writing patents 1990sbox 7, folder 13 Miscellaneous folder with various documentsbox 7 Notebooks



SC0524 63

Audiovisual material box 8 Lecture slidesbox 8 LISP--HOPL talks 1978 Jun

Physical Description: 1 audiocassette(s) box 8 McCarthy (part 1) 8.02 Undated

Physical Description: 1 audiotape(s) (reel-to-reel) box 8 McCarthy (part 2) 8.03 Undated



Physical Description: 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)

Computer files Stanford AI Lab (SAILDART) files

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

Access to Energy newsletter archive 1973-1994

Physical Description: 2 computer file(s) (PDF) WTDS Interviews, KFJC 2006 Apr 10-13 Chowning, John 2006 Apr 13

Physical Description: 1 computer file(s) (WAV) Engelbart, Douglas C. 2006 Apr 13

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

Additional Material Acession ARCH-2013-047Computer files


SC0524 64

Markoff, John 2006 Apr 13 Physical Description: 1 computer file(s) (WAV)

McCarthy, John Warren, Jim

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

John McCarthy papers - California Digital Librarypdf.oac.cdlib.org/pdf/stanford/uarc/sc0524.pdf ·...

Documents

Transcript of John McCarthy papers - California Digital Librarypdf.oac.cdlib.org/pdf/stanford/uarc/sc0524.pdf ·...