Guide to the John McCarthy Papers SC0524
Note
Immediate Source of Acquisition note
Biographical/Historical Sketch
Subjects and Indexing Terms
Original Accession Accession ARCH-1995-247
Future of Computing, 1978-1979 (memos)
Academic Caucus on Foreign Policy, 1978 (memos)
Accounting, 1975-1978 (memos, printouts - Stanford Artificial Intelligence Lab., computer usage)
Advisees, 1979-1982 (memos, printouts)
ARPA - Advanced Research Projects Agency, 1976-1981 (memos, reports)
ATP Prize - Artificial Theorem Proving Prize, 1979-1983 (memos)
Basic and Applied Research Panel, 1980-1981 (correspondence, memos, reports)
Behavioral and Brain Sciences - beginning of an international journal of current research and theory with open peer commentary, 1977-1980 (correspondence, memos, articles, reprints)
Campus Computing Bulletin, 1977-1979
CCS - Committee of Concerned Scientists, 1977-1982 (memos, correspondence, legal documents, articles, reports, reprints)
China, 1978-1979 (correspondence, articles)
CIS - Center for Integrated Systems, 1979-1981 (reports, memos, correspondence, minutes)
Computer News Service, 1980 (letter, report)
Computer Sci - Tech Board - Computer Science and Technology Board, 1980 (memos, correspondence, reports, minutes, articles)
Concept, 1976, 1978 (article, commentary)
Context, 1980-1981 (reports, memos, proposal) 1966 Oct-1967 Dec
Core War - a two-person competitive game played in computer memory, 1977-1978
Energy for 80's, 1980-1981, (newsletter, reports, memos, brochure, news release)
Expense Reimbursement, 1976-1985
Finitary Search - Finite State Search Problems, 1976 (article) 1967-1968
Grants, Proposals, Contracts, 1977-1982
Heart - the artificial heart, 1983 (articles, correspondence, book chapters)
Human Rights, 1975-1978 (reports, correspondence, news releases, articles, newsletters) x-ref Committee of Concerned Scientists
Indoor Pollution, 1979-1980 (correspondence, articles, memos)
Interstellar (reports, article)
IPL - Information Processing Letters, 1974, 1977
KL 20, 1975-1977 (correspondence, memos, newsletters, reports, minutes, brochure, printouts re computer equipment configuration for time-sharing)
KNOW - an axiomatization of knowledge, 1977
LOTS - Low Overhead Time-Sharing System, 1979 (memos, report)
LOTS, 1977-1978 (memos, correspondence, printouts, reports)
LOTS Memos, 1977-1979 (memos, reports)
LOTS Users, 1976-1977 (reports, memos) 1973
Math Sci - Mathematical Sciences, 1979-1982 (reports, memos, course information booklet)
Minima, 1976 (report on minimal inference)
N Queens - a mathematical problem, 1974-1982
NLCPI - National Legal Center For the Public Interest, 1977-1979 (articles, newsletters, correspondence)
Notes, 1984 ( notes for a slide talk) 1958-1982
Abstracts, 1977-1978
AI Budget - Artificial Intelligence Budget, 1971-1974 (proposal, printouts, reports) 1972-1983
AI for ARPA, 1973-1974 (memos, reports)
AI Journal, 1974-1979 (correspondence, reports, articles, abstracts)
Anti-Technology, 1972-1976) (articles, correspondence, notes)
Applicants, 1975-1979 (correspondence, resumes, memos) 1974 Nov
ARPA, 1973-1978 (reports, memos, articles)
Automation, 1972-1974 (correspondence, reports)
Axioms, 1972-1974 (reports, printouts, notes) 1977
BAHTC - Bay Area Home Terminal Club, 1975 (articles, prospectus)
Bay Area Circle (on AI and Cognitive Science), 1975-1976 (memos)
Cars, 1972-1975 (correspondence, reports, articles)
Chess, 1976-1983 (journal, newsletters, articles, correspondence)
Chronological Incoming Mail, 1977-1979 (correspondence, reports)
Communications, 1971, 1976 (article, reports)
Computer Forum - Stanford Computer Forum, 1976-1978 (memos, agendas)
Crunching, 1976 (printouts)
CSD Computing - Computer Science Department, 1970-1979 (correspondence, reports, notes)
CSD Displays, 1976 (proposal, memos)
CSD Memos, 1974-1978 (memos, CSD Faculty Meeting Minutes)
CF Committee - Computation Facilities Committee, 1968-1977 (memos,
minutes, reports)
Databases, 1974-1975 (reports, letter, printout)
Defense of Vision - relevance to defense of computer vision related research
Dishonesty, 1973-1979
Distributed Lab - Distributed National Laboratory for Cognitive Science, 1975 (proposal for NSF)
Ecology, 1970-1977 (articles, newsletters, notes, reports, memos, brochure, letter)
EE Department - Electrical Engineering Department, 1976-1978 (memos, reports)
Energy, 1974-1979 (reports, memos, newsletters, correspondence, articles, brochure on fusion)
Eng 235 - "An Alternative to the Petroleum Economy," 1973-1974 (course announcement, faculty list, memos, reprint, reports)
Environment, 1970-1976 (journal, letter, memo, brochure, articles, reprints, newsletter)
Essays, 1974-1976
FOL, 1976-1978 (reports, a formalized proof using FOL)
Hand-Eye Current, 1975-1979 (correspondence, reports) research in Robot Languages and Stereo Vision Systems
KR 4, 1974 (computer-generated proof?)
LISP, 1977-1982 (newsletter, draft of manual, handwritten manual, programming instructions)
Optimism, 1974 (correspondence, articles)
Mail Terminal, 1977-1978 (articles, letter, newsletters)
Piano Mover, 1976-1977 (memos, flow charts)
Project Independence - project aimed at making the US substantially independent of foreign energy sources, 1974 (published letter, correspondence, position statement
Proofs, 1972-1976 (proof printouts)
SENSE - Scientists for Enlightenment on Nuclear Sources of Energy, 1975-1978 (correspondence, position statements, newsletters, articles)
S-1 - Computer processing system, 1977-1978 (articles, memos, correspondence, reports)
SE2 - Scientists and Engineers for Secure Energy, 1976-1980 (articles, correspondence, conference notes, brochure, legal brief, memos, reports)
SE2, 1980-1982 (memos, reports, legal briefs, correspondence, newsletters, articles)
SE2, 1978-1984 (correspondence, reports, reprints, articles, legal briefs, newsletters, minutes, by-laws, position/policy statements)
Social Articles, 1974-1978
Soviet Jews, 1975-1978 (correspondence, memos, articles, newsletters, position statements)
Speaking Engagements, 1975-1984 (brochures, correspondence, expense reports, conference information, lecture transcription)
Student Advisees, 1982-1984 (correspondence, memos, printouts of student status, guidelines for dismissal)
Text Processing, 1979 (memo, draft for text processing project)
Time Sharing, 1959-1980 (report, correspondence)
Weizen - Weizenbaum, 1976-1977 (correspondence, articles)
Centre Mondiale, 1984-1985 (reports)
Centre Mondiale, 1983-1985 ( reports, McCarthy proposal for an electronic library)
Chandra, Ashok K., 1971 (program listing)
Cohen, Bernard L., 1978 (reports, article)
Creary, Lewis G., 1978-1982 (reports, article, reprint, resume)
CSLI, 1983 ( newsletters, memo)
Dahl, Veronica, 1981-1982 (correspondence)
Davis, Martin, 1976-1982 (correspondence, reports, articles, program listings?)
Dennett, Daniel, 1982 (draft of an article)
Deutsch, L. Peter, 1973 (article)
Diffie, Whitfield, 1970-1975 (letter, printout, article)
Dijkstra, Edsger W., 1978 ( article, correspondence)
Doyle, Jon, 1979-1983 ( correspondence, curriculum vitae)
Dreyfus, (article, manuscript)
University of Edinburgh, School of AI, 1971-1977, (department descriptions, technical memos)
Ershov, Andrei P., 1967-1982 (correspondence, articles, memos, interview)
Finite Fields, (mathematical notes, reprint, excerpt from book)
Hardware, 1977 (brochure, memo, article)
Home Terminals, 1974 (correspondence, memo)
IBM, 1974 (product announcement, brochure, articles, memo, notes)
IMSS, 1971-1974, (reprints, articles)
Inquiries, 1971-1975 (correspondence, article, resume)
Machine Translation, 1970-1971, (memos, article)
Memory, 1974 (articles, agenda-Advanced Memory Concepts Group)
Mining, 1974-1975 (conference brochure, article, proposal)
Money, 1971-1978 (articles, correspondence)
Names, 1972-1978 (lists, business cards, conference attendees, name jottings on paper, greeting cards)
Natural Language, 1973 (memo)
Network Journal - proposed ARPA network journal, 1972-1975 (memos, correspondence, articles, reprint)
Miscellaneous News Articles, 1976-1978
NSF - National Science Foundation, 1971-1979 (articles, correspondence, memo, grant lists, NSF Proposal Guidelines, conference program)
NSF Reviews, 1977-1981
Politics, 1970-1977 (articles, memos, correspondence)
Proposals, 1973-1977 (memos, correspondence, proposals)
Proposals, 1975-1978 (memo, letter, proposals)
Proposals, 1973-1977 (correspondence, memos, reports, proposals)
Public Affairs, 1970-1971 (newsletter, letter, newspaper, article)
Publicity, 1971-1977 (correspondence, articles)
Qual, AI - Qualifying Exam for AI, 1969-1975 (syllabi, exams, student scores, memo)
Qual, Comp - Comprehensive Qualifying Exam, 1972-1974 (memos, reading lists, exams, student scores, problem solutions)
Qual, MTC - PH.D. Qualifying Exam in Mathematical Theory of Computation, 1970-1974 (syllabi, exams)
Quarterly Report, 1972-1978
Robotics, 1972-1978 (correspondence, articles, newsletter, brochure)
Rotation Number, (article)
RPV - Remotely Piloted Vehicles, 1973-1974, (memos, newsletters, correspondence, articles, symposium program)
Semantics, 1974 (articles)
SCIP, 1979 (memo, reports)
Technology, 1966-1973 (essay topic list, correspondence, questionnaire, articles)
Time-Sharing, 1974 (memos, article, reprint)
TSPP - Technology, Society and Public Policy, discussion group, 1975-1976, (memos, article)
WG2.2 - Working Group 2.2, 1974-1978, (minutes, newsletter, memos, agenda)
Weatherman, 1970-1978, (correspondence, articles, newspaper, journal, legal brief)
AI Journal, 1980-1982, (correspondence, abstracts, article, review status report)
AAAI from 8/83 - American Association for Artificial Intelligence, 1980-1984, (reports, correspondence, conference brochure, article)
Abramson, Fred, 1980-1981, (correspondence)
Aiello, Luigia, 1979, (article, resume)
Allen, J., 1974-1975, (correspondence, manuscript contents and index, article)
Anderson, B., 1972-1974, (correspondence, articles)
Anon, (articles)
Ashcroft, 1968-1969, (articles)
ATP Prize - Automatic Theorem Proving Prize, 1980-1982, (correspondence, article)
Babbage - The Charles Babbage Institute, 1979-1980, (correspondence, article, newsletters)
Barwise, Jon, (article)
Baskett, Forest, 1973-1978, (correspondence, article)
Binford, Tom, 1970-1987, (correspondence, curriculum vitae, recommendation for reappointment, reports, articles, charts)
Boeing, 1982-1983, (memos, correspondence, agreement)
Book - LISP: Programming and Proving, 1980-1872, (correspondence, letters of agreement, article, manuscript)
Kanerva, Pentti, 1975-1982, (memos, proposal, dissertation draft, article)
Konolige, Kurt, 1981-1985, (articles, thesis proposal, thesis drafts)
Knuth, Donald, 1969-1977, (correspondence, memo, reprints, article)
Kuo, Victor, 1982-1984, (correspondence, article, resume, memos)
Lamping, John, 1985, (article)
Lang, Serge, 1981-1985, (correspondence, article)
Lederberg. Joshua, 1974-1976, (articles, newsletter, correspondence, reprints)
Lem, Stanislaw, 1975, (correspondence, article)
Lenat, Douglas, 1974-1984, (correspondence, curriculum vitae, articles, course evaluations, report)
Lifschitz, Vladimir, 1984-1987, (articles)
Livermore, 1981-1983, (correspondence, employment application, personnel security questionnaire, consultant agreement, forms)
Luckham Letters, 1968-1977, (memos, correspondence, notes, articles, curriculum vitae, proposals, recommendation for appointment)
Milner, Robin, 1970-1974, (employee records, correspondence, articles, drafts of articles)
Martin, (dissertation proposal)
Michie, Donald, 1968-1981, (correspondence, brochure, articles, photograph, reprint)
McDermott, Drew, 1982, (letter, draft of article)
McCracken, Daniel, 1974, (letter, draft of article)
Marotta, David, 1981, (note, draft of article)
Moravec, Hans, 1969-1980, (correspondence, abstract, reprint)
Morris, Lockwood, 1968-1969, (articles, note, memo)
Moore, Robert, 1975, (articles, master's thesis)
Mints, Gregory, 1979-1980, (correspondence)
Minsky, Marvin, 1963-1973, (reprint, articles)
Minker, Jack, 1977, (letter, article)
Manna, Zohar, 1968-1979, (articles, correspondence, curriculum vitae, memos, reprints, proposal)
Malik, Jitendra, (article)
Maas, Robert, 1973, 1979, (article, program)
Ma Xiwen, 1978-1981, (correspondence, articles, curriculum vitae)
Polack, 1977, (proofs)
Papert, Seymour, 1970-1972, (letter, brochures, article, drafts of articles)
Parker, Edwin, 1974-1976, (newsletter, article)
Pednault, Edwin, 1981, (draft of article)
Pereira, Luis, 1981-1982, (correspondence, curriculum vitae, interview, articles, newsletter)
Perlis, Donald, 1982, (letter, resume, articles)
Philosophy, (article)
Oppen, Derek, 1975-1978, (letter, resume, articles)
Pack, Leslie, 1983, (programs, proof)
Nilsson, Nils, 1973-1985, (draft of proposal, correspondence, bibliography)
Sloman, Aaron, 1970-1981, (drafts of articles, correspondence, articles)
Sandewall, 1967-1980, (report, correspondence, articles)
Sato, Masahiko, 1976-1982, (correspondence, abstract, reprint, articles)
SE2, 1984, (article, correspondence, draft of article)
Shapiro, Ehud, 1982, (curriculum vitae, correspondence, report)
Shockley, William, 1975-1976, (articles, correspondence, reprints)
Stallman, 1981, (article, draft of article)
Space, 1981-1983, (correspondence, article, reports, newesletter)
Moser, Yoram, 1982-1985, (letter, articles, reprints)
Moses, Joel (article)
Moszkowski, Ben, 1977-1982, (article, letter, notes)
Nagao, Makoto, 1985, (letter, list)
SRI, 1971-1983, (reports - a series called technical notes)
Samet, Hanan, 1975 (dissertation)
Samet, Hanan, 1972-1975, (program listing, articles)
Wilks, Yorick, 1971-1976, (articles, correspondence, proposals, program listing)
Winograd, Terry, 1972-1978, (drafts of articles, articles)
Wood, Lowell, 1972-1977, (letter, article)
Wilkins, David, 1973-1978, (articles, correspondence, drafts of articles, program listings)
Weyhraugh, Richard, 1973-1981, (article, lecture notes, draft of article, program listings)
Wickelgren, Wayne, 1969-1984, (letter, curriculum vitae, article, reprints)
US Labor Party, 1976-1978, (constitution, journals)
Wadler, Phil, l977, (article)
Thomas, Arthur, 1971-1978, (correspondence, memo, draft of manuscript chapters, draft of article, proposals, article)
Tappel, Steve, 1981, (problem statement)
Uniform, 1981, (article)
Tang, Chih-Sung, 1974-1982, (reprint, articles, correspondence)
Suppes, Patrick, 1970-1979, (reprints, article, memo)
Sussman, Gerald, 1972, (article, report)
Suzuki, Norihisa, 1973-1976, (articles, program listing)
Takasu, Satoru, 1976-1979, (article, correspondence)
Stoyan, Herbert, 1976-1982, (curriculum vitae, correspondence, drafts of articles)
Scott, Dana, 1970, (articles, drafts of articles)
Schwartz, Jack, 1975-1976, (memo, correspondence, article, reprints, report)
Pnueli, Amir, 1969-1976, (correspondence, curriculum vitae, articles, reprints)
Prolog, 1974-1981, (articles)
Reiter, Raymond, 1971-1981, (correspondence, reprints, articles, technical reports)
Py lyshyn, Zenon, 1973-1979, (reprints, articles, draft of article)
AI Memo List, 1963-1984
Proposal 1978
Placement of Engineering Graduates 1978
Reports, articles - Stanford, 1978-1979
Reports, articles - non-Stanford
Reports, articles - non-Stanford (MIT), 1973-1980
A. B. Dick Copier, 1970, (instructions)
Ampex Memory Level Converters, 1971, (notes, letter, list)
128K Ampex Interface, 1972, (notes)
Centronics Printer, (manual, notes, brochure)
IBM 2314, 1970, (manual)
Cache and Schottky Info, 1969-1971, (product specifications, reports, brochures, article, price list)
Acoustic Coupler (Tymshare) and TTY EIA Interface Adapter, 1966-1968, (diagrams, blueprints,brochure)
Microswitch, 1965-1971, (diagrams, blueprints, correspondence, manual, list)
E. R. L. Stock Room, 1964, (components lists)
Modems, 1970, (product specifications, brochures, article)
Video Synthesizer (ARDS), 1970, (diagrams)
IMLAC Corp., 1970, (correspondence, notes, diagrams, manuals)
IMLAC Displays, 1969-1983, (manuals, lists, reprints, blueprints, correspondence)
Videograph Display Copier, 1971, (manuals)
LRL Reports and Misc. - Lawrence Radiation Labs, 1957-1963, (blueprints, reports)
Operating notes, memos, program listing, reprints, 1964-1979
LISP manuals
Rancho Arm, 1966-1968, (correspondence, subcontract)
III Eye, 1966-1970, (correspondence, subcontract and amendment)
ARDS - Advanced Remote Display Station, 1968-1970, (price list, reports, manuals, brochures)
Manuals, IMLAC Corp.
DEC - Digital Equipment Corp., 1965-1971, (correspondence, subcontract, memos, product specifications0
3 technical reports, non-Stanford, 1962-1970
Manuals, catalogs, journals, miscellaneous information on Robert Poor, 1964-1979
E. E. Stores - Electrical Engineering Stores, 1968-1969, (lists, forms, memos)
Speech Notes, 1969, (articles)
Catalog, brochures, proposals, diagrams, memos, correspondence, reports, 1965-1970
Proposals, manual, 1967-1970
Librascope Log Notes, 1963-1971, (program listing, notes, correspondence, diagrams, log, lists, blueprints)
Manual 1970
Proposal 1970
Core RFP - Core Request For Proposal, 1967, (specifications, proposals)
III Display Proposal - Information International Inc. Display Proposal, 1966-1968, (proposal, notes, correspondence, character set, specifications)
Straza Displays for PDP-6, 1964-1966, (correspondence, proposals, memos, request for proposal, notes, specifications, blueprints - Straza and other companies)
Operating Notes 3-4, 1967-1969
Operating Notes 5-7, 1967
Operating Note 8, 1967
Operating Note 9, 1967
Operating Notes 10-12, 1967
Operating Notes 13-20, 1967
Operating Notes 21-23, 1967-1969
Operating Notes 24-26, 1967-1970
Operating Note 27, 1967
Operating Note 28.3 1969
Operating Note 28.4 1970
Operating Note 28.6
Operating Note 28.7
Operating Notes 29-31, 1967
Operating Note 32, 1967
Operating Notes 33-35, 1965-1968
Operating Note 35.1 1969
Operating Notes 36-37 1968
Operating Notes 38-42 1968
Operating Notes 43-45 1968
Operating Notes 46-47 1968
Operating Note 48 1968
Operating Notes 49-50, 1969-1970
Operating Note 51, 1969-1973
Operating Notes 52-53 1969
Operating Note 54
Operating Note 54 1969
Operating Note 54.3 1973
Operating Note 54.4 1974
Operating Note 55 1969
Operating Note 55 1969
Operating Note 55 1969
Operating Note 55.3 1973
Operating Note 57.1 1970
Operating Notes 58-59 1969
Operating Note 60 1970
Operating Note 63 1970
Memo AI-66 1968
Operating Note 71 1973
Operating Note 71 1973
Operating Note 73 1973
Reports, memos AIM - Stanford, 1972-1979
Reports, articles, 1975-1979
Articles, book, 1963-1966
Manuals, program listings, articles, reports, 1960-1964
Reports - non-Stanford, 1972-1985, 1960-1965
Journals, 1963-1964, 1979
Memo, manuals, notebook, reports, articles, 1955-1965
Reports - SRI, 1969-1979
Articles, list, 1956-1979
Reprints, 1953-1961
Articles, course description, 1981-1982
aisb - artificial intelligence and simulation of behavior - Quarterly, 1978-1983
MIT Artificial Intelligence Memos, 1958-1962
MIT Artificial Intelligence Memos, Feb-Apr 1963
MIT Artificial Intelligence Memos, May-Jul 1963
MIT Artificial Intelligence Memos, Oct-Dec 1963
MIT Artificial Intelligence Memos, Jan-Sep 1964
Reports - MIT, 1968-1981
Brochures, correspondence, proposals, 1965-1968
Brochures, proposals, 1966-1974
Two binders of diagrams - Digital Equipment Corp., 1961-1974
Binder of diagrams - Digital Equipment Corp., 1964-1967
Binder of diagrams - Digital Equipment Corp., 1961-1967
DEC - Digital Equipment Corp. and BBN - Bolt, Beranek and Newman Corp. ECOs - Engineering Change Orders to PDP-10, 1969-1971 (stairclimber - blueprints, foldered ECOs)
IBM 2314-A2, 1967-1969, (manuals)
IBM 3330, 1971, (manual)
DSKTST, 1966-1971, (program listings, articles)
Ampex Interface, 1971, (notes, diagrams, article)
TTY Multiplexer, 1971-1972, (blueprint, notes, diagrams)
System Power Consumption, (notes)
Stanford Instructional TV, 1971-1972, (notes, class schedule)
Memory Bus Cables, Stanford Applied Engineering, 1965-1971, (notes, diagrams, blueprints, correspondence)
Order forms
Data Disc Keyboard and Teletype Information, 1967-1972
Dvorak Keyboard, 1943, 1971-1977, (articles)
Central Data, 1980, (brochure, reprints)
Electronic Solutions, 1980, (brochure, price list)
Spectronics, 1979-1980, (brochure, list, reprint)
DCA - Digital Communications Associates, Inc., 1980, (letter, brochure)
UDS - Universal Data Systems, 1976-1980, (manual, brochures)
Power-One, 1976-1981, (brochures)
Manufacturers Representatives - line cards, 1980, (brochures)
Maps, schedules, time tables, etc., (map)
Clement Labs, 1980, (letter)
Motorola Displays, 1978-1979, (brochure)
Nationwide Electronic Systems, Inc., 1980, (letter, brochure)
Airpax, 1978-1980, (letter, brochures)
Douglas Randall, (brochures)
Xsis Electronics, (brochure)
Computrol Corp., 1980, (brochure)
Ann Arbor Terminals, Inc., 1980, (letter, brochure)
Motorola, Discrete Semiconductor Div., 1976, (brochures)
Racal-Vadic, 1980, (brochure)
Micom, 1980, (catalog)
IDS - International Data Sciences, Inc., 1980, (price list)
Paradyne, (brochure, price list)
Moxon, 1980, (brochure)
TV Antenna Information, 1979
Vector Electronic Co., (brochure page)
AMD - Advanced Micro Devices Inc., 1976-1979, (brochures)
Synertek, Inc., 1978-1979, (specifications, brochure)
Wire Wrap, 1969-1980, (brochures, article)
Pro-Log, 1979-1980, (newsletter, reprint, brochures)
Binder of Digital Equipment Corp -DEC diagrams, 1964-1967
DEC Manual 1972
Two binders of DEC diagrams, 1961-1965
DEC Diagrams, loose, 1964-1971
Binder of lists
Binder of brochures
Binder of DEC diagrams, 1963-1965
Binder of DEC diagrams, 1959-1964
DEC Manuals, 1964, 1967
Russian Computer Connection - Russ. Comp. Con., 1985, (report - Stanford)
Russ. Comp. Con., 1959-1961, 1983-1986, (reports - non-Stanford)
Russian Computer Connection - Russ. Comp. Con., 1962-1977, (reprints, newspaper, notes, correspondence)
Russ. Comp. Con., 1958-1985, (reprints, magazines)
Russ. Comp. Con., (photographs)
Russ. Comp. Con., 1964, (envelopes, travel brochures, article)
Russ. Comp. Con., 1966, (Rand documents)
Russ. Comp. Con., 1966-1974, (correspondence, articles)
Russ. Comp. Con., 1975, (Pacific Legal Foundation)
Russ. Comp. Con., 1966-1972, (correspondence)
Russ. Comp. Con., 1966, (article, miscellaneous)
Russ. Comp. Con., 1966, (notes - Russian and English)
Russ. Comp. Con., 1965-1975, (correspondence)
Russ. Comp. Con., 1965-1971, (correspondence, articles)
Russ. Comp. Con., 1965-1966, (correspondence, conference program)
Russ. Comp. Con., 1964-1965, (agreement, US and USSR, scientific exchanges)
Russ. Comp. Con., 1960-1966, (correspondence, list, program listing)
Russ. Comp. Con., 1970, (map reprints, notes, photographs)
Russ. Comp. Con., 1966-1970, (brochures, notes, articles, correspondence)
Russ. Comp. Con., 1962-1966, (correspondence, reprints, article)
Russ. Comp. Con., 1965-1972, (photographs, correspondence, articles)
Russ. Comp. Con., 1971, 1973, (Rand documents)
Russ. Comp. Con., 1972, (Rand documents)
Russ. Comp. Con., 1972-1978, (misc. travel info., photograph with letter)
Russ. Comp. Con., 1967, (Tata Institute of Fundamental Research, Bombay - articles)
Russ. Comp. Con., 1969, (Tata Institute of Fundamental Research, Bombay - articles)
Russ. Comp. Con., 1965, (reprint, articles)
Russ. Comp. Con., 1966, 1970, (Computer chess - clippings)
Russ. Comp. Con., 1967, (Computer chess - lists, program listing, notes)
Russ. Comp. Con., (Russian article, notes)
Russ. Comp. Con., 1967-1973, (Computer chess - notes, articles, correspondence)
Russ. Comp. Con., 1963-1971, (Computer chess - program listing, lists, articles, correspondence)
Russ. Comp. Con., 1978, (article, correspondence)
Russ. Comp. Con., 1973, (Manfred Sakel Institute - correspondence, articles)
Russ. Comp. Con., 1971, (Manfred Sakel Institute - correspondence, articles, lists)
Russ. Comp. Con., 1970, (Manfred Sakel Institute - correspondence, articles, lists)
Brochures
1965, (student papers)
1955-1963, (memo, LISP manual)
1948-1956, (reprints, articles)
1931-1958, (reprints, articles)
1957, (report, article, handbook)
1946-1956, (reprints)
Three binders, (lecture notes, reports)
1956-1957, (articles)
Four binders, 1956, (class-related notes)
Binder, 1956, (proposal)
1958-1960, (memos, reprints)
1954-1957, (articles, proposal, memo)
1955, (articles, report)
Mathematics and Social Sciences, 1955, (binder)
1951-1958, (articles)
1922-1960, (reprints)
Journals, 1951, 1962
Reports - non-Stanford, 1949-1959
Reports - non-Stanford, 1966-1979
1969, (article)
Reports - non-Stanford, 1966-1977
1965-1979, (reports, articles, reprints, dissertation)
1979, (transparencies, article)
Transparencies
Slides for Circumscription, (transparencies)
Circumscription, 1983-1984, (articles, transparencies)
Circumscription Misc.
Transparencies
Conference on Art of Computer Programming, Nov 1978
Conference on Art of Computer Programming, Nov 1978, (program listing)
Conference on Art of Computer Programming, Nov 1978, (articles, reprint, transparencies, notes)
Conference on Art of Computer Programming, Nov 1978, Ershov correspondence
Conference on Art of Computer Programming, Nov 1978, (articles, listing)
Memos, articles, reprints, 1950-1956, journal, 1959
1956-1970, (articles)
Binder, (memos)
Reports - Stanford, 1956-1961
Binder, 1960, (notes)
1958, (articles)
1956-1959, (articles)
Binder, 1956, (memos)
Reports - non-Stanford, 1954-1984
Pony Cash Flow, 1977-1979
Chron Binder 1, Aug 1979-Jan 1978
Chron Binder 2, Jul 1978-Dec 1978
Purchase Req., Chron, 1970-1980
Binder, Office Manual - Secretary, Part 2
Capitol Equipment Binder, [1 of 3]
Capitol Equipment Binder, [2 of 3]
Capitol Equipment Binder, [3 of 3]
Blanket Orders Binder, A-D
Blanket Orders Binder, E-F
Blanket Orders Binder, G-L
Blanket Orders Binder, M-O
Blanket Orders Binder, P-S
Blanket Orders Binder, T-V
Blanket Orders Binder, W-Z
Blanket Orders Binder, Xerox Rental
Orders
Purchase Requisitions Binder
Purchase Requisitions Binder, Feb 1984-Jan 1981, [1 of 4]
Purchase Requisitions Binder, 1980, [2 of 4]
Purchase Requisitions Binder, 1979, [3 of 4]
Purchase Requisitions Binder, 1979-1978, [4 of 4]
Completed Purchase Requisitions Binder, 1978-1979, [1 of 5]
Completed Purchase Requisitions Binder, 1978-1979, [2 of 5]
Completed Purchase Requisitions Binder, 1978-1979, [3 of 5]
Completed Purchase Requisitions Binder, 1978-1979, [4 of 5]
Completed Purchase Requisitions Binder, 1978-1979, [5 of 5]
Completed Purchase Requisitions Binder 1, 1979-1980, [1 of 4]
Completed Purchase Requisitions Binder 1, 1979-1980, [2 of 4]
Completed Purchase Requisitions Binder 1, 1979-1980, [3 of 4]
Completed Purchase Requisitions Binder 1, 1979-1980, [4 of 4]
Completed Purchase Requisitions Binder 2, 1979-1980, [1 of 5]
Completed Purchase Requisitions Binder 2, 1979-1980, [2 of 5]
Completed Purchase Requisitions Binder 2, 1979-1980, [3 of 5]
Completed Purchase Requisitions Binder 2, 1979-1980, [4 of 5]
Completed Purchase Requisitions Binder 2, 1979-1980, [5 of 5]
AI (Artificial Intelligence) Project and Misc., 1960's (proposals)
AI Project and Misc., 1965-1974 (correspondence, memos)
AI Project and Misc., 1965-1966 (correspondence, memos)
AI Project and Misc., 1965-1966 (correspondence, memos, proposals)
AI Project and Misc., 1964-1968 (correspondence, memos)
Impact of Military Research on University, 1972 (articles, letter, notes)
AI Research, Time-Sharing, Large Memory Computer, 1963-1965 (notes, proposals)
Exploration of Mars and Misc., 1964-1965 (correspondence, reports, proposals)
Exploration of Mars/Extraterrestrial Life 1964-1965 (correspondence, reports, bibliography)
Exploration of Mars/Extraterrestrial Life 1964-1965 (reports, memos)
LISP, Public Affairs, 1965-1970 (reprint, list, articles)
Mathematics, Chess, Misc., 1955-1956 (notes)
Dartmouth Mathematical Project ("On the Mathematical Aspects of the Aggregation Problem in the Leontief Open Model" and "A Generalization of the Von Neumann Model of an Expanding Economy")
Epistemology, Language, Lectures (articles, notes)
IFIP (International Federation for Information Processing), 1964 [1 of 2]
Misc., ALGOL, Time-Sharing, 1959-1965 (correspondence, articles, newsletter)
Advice-Taker (print-out, correspondence, article)
Computation, 1961 (articles, proposal request)
Space Science Board - Exobiology Study, 1964 (correspondence, reports) [1 of 2]
Space Science Board - Exobiology Study, 1964 (correspondence, reports) [2 of 2]
Binder, 1971-1972 (articles)
Russian Documents 1968 1972
Chinese Documents (reprints, contracts, magazine)
Language, 1958 (notes, articles) [1 of 2]
Language, 1958 (notes, articles) [2 of 2]
Multi-Processor Computers, 1965 (notes, articles)
Language, LISP
Language, Symbolic Expressions, LISP (articles, notes) [1 of 4]
Language, Symbolic Expressions, LISP (articles, notes) [2 of 4]
Language, Symbolic Expressions, LISP (articles, notes) [3 of 4]
Language, Symbolic Expressions, LISP (articles, notes) [4 of 4]
Glasnost, 1987-1990 (7 issues)
Computer Science Division Technical Reports, 1964-1966
Miscellaneous, 1961-1964
Student Papers, 1960-1962
Student Papers, 1962-1965
MIT, 1958-1963 (proposal, publications, reports)
Miscellaneous, 1959-1960 (reports, brochures)
Miscellaneous, 1961-1964 (reports, brochures, publications)
Computer Reference Manuals, 1973-1976
LOTS (Stanford Low Overhead Timesharing System) Manuals, 1978
ARPA Contractors Meeting, Dec 1971
ARPA Contractors Meeting, Feb 1971
ARPA Contractors Meeting, Jan 1973
ARPA Contractors Meeting, Feb 1974
Association of Energy Engineers Meeting, "Energy - The New Rules," 1979
"The Future Study on the Impact of Computers and Information Processing," 1976 (draft report)
"Advanced Digital Processor Technology Base Development For Navy Applications: The S-1 Project," Sep 1977 (report)
"Advanced Digital Processor Technology Base Development For Navy Applications: The S-1 Project," Sep 1978 (report)
S-1 Architecture Manual, Jan 1979
SRA (Science Research Association) Management Briefing," 1987 (videotape)
"High Def. TV Seminar: Dr. John McCarthy," 1989 (videotape)
"Artificial Intelligence and Electronic Data Exchange," (videotape)
Transitions Research Corp., "NASA Phase II SBIR Final Report Video," May 1990
"Helpmate Update," Jun 1990 (videotape)
Two reels of film, unidentified
"Carry Tape Dump of Peano:> JMC > ** > ***," 1987 (data cartridge)
"Research Directions in Software Technology," ed. Peter Wegner, The MIT Press, 1979
"JMC Lib DUMP," June 1978 (correspondence, articles, program listings)
"JMC Lib DUMP," June 1978 (correspondence, articles, program listings)
"Microcode #534, 9 trk, 800 BPI, Digital Equipment Corp., 1976 (magnetic tape)
"System: 1026; Contents: SUDS FAILSAFE 1, 2; Nov 29, 1975; 7trk, 800 BPI, Drive: MTA1; STR: DSK; Who: Helliwell," (magnetic tape)
"Stanford Comp. Ctr., copy of #295, 4/15" (magnetic tape)
"Mag 19, 2/67; 7 trk, 800 BPI (magnetic tape)
Audio cassettes:
"Machines with Minds" - program 1, March 11, 1983
"Machines with Minds"- program 2, March 11, 1983
"Machines with Minds" - program 3, March 18, 1983
"Machines with Minds" - program 4, March 25, 1983
"Machines with Minds" - program 5, March 30, 1983
Jerrold Katz, "An Outline of Platonist Grammar" - TIN Lunch, April 9, 1984
AAAI Presidential Speech, 8/9/84, Tape I
AAAI Presidential Speech, 8/9/84, Tape II
IJCA.SPE[e 85, jmc]
John McCarthy side of interview with Wally Johns of Christian Science Monitor radio
Stanford A. I. Foonly Group. Wire-wrap card designs, n.d.
Earnest Video Switch--wiring diagrams 1971
Additional Material Accession ARCH-1996-060
M.I.T. correspondence, papers, memos, booklets
M.I.T. booklets, memos, reports
Mathematical Reviews
Requests for Publication
Untitled
Texas, Univ. of
US Exchange Program with USSR
Electrical Engineering Meetings
Other Comp. Sci. Dept
Natasha [Rodman]
Meeting
Math Reviews
References [letters of]
Correspondence
Correspondence
Correspondence 1966 Oct-1967 Dec
POP-1 to India
Computer Science Exams--University of Edinburgh
Comp. Sci. Dept. Meetings
Correspondence 1967-1968
HAND
General correspondence
FUND
EYE
Ito, Takayasu
FOL Manual
Unfunded Proposals
Unfunded Proposals
Unfunded Proposals
Photographs
Student papers
McCarthy "Technology and the Enhancement of Man" 1973
Computer Printouts
Multilisp manuals
LOTS
Stanford LISP 1.6 Manual
Stanford Artificial Intelligence Laboratory: various reports, manuals, memos 1958-1982
"Global Trends in Computer Technology and Their Impact on Export Control," Committee to Study International Development in Computer Science and Technology, 1988
Various manuals and technical reports by Stanford and other institutions 1972-1983
Books and reports not in Russian and French
Notebook: Stanford personnel information
Notebook: Office manual, secretary
Xerox: Technical Review Panel Meeting at Palo Alto Research Center (notebook) 1974 Nov
Memorabilia (certificates and plaques)
Note cards, audio cassette, four computer tapes
MACLISP Reference Manual 1977
Honorary Doctorate, Universidad Politécnica de Madrid 1991 Jan 28
Additional Material Accession ARCH-1999-053
Home Terminals Revisited
Additional Material Accession ARCH-2008-356
Honorary degree from Harvard 2008
Celebration of John McCarthy's Accomplishments [computer files] Accession ARCH-2012-040 2012 Mar 25
Website 2010-2017
Additional Material Accession ARCH-2012-055
Chronological Files
Correspondence 1979
1979
1980
1980
1981
1981
1982
1982
1982
1983
1983
1983
1983
1983
1983
Jan 1984-Aug 84 (1 of 2)
Jan 1984-Aug 84 (2 of 2)
September 1984
October 1984 (1 of 3)
October 1984 (2 of 3)
October 1984 (3 of 3)
November 1984-Dec 84 (1 of 2)
November 1984-Dec 84 (2 of 2)
January 85
Mar-May 1985 (1 of 2)
Mar-May 1985 (2 of 2)
February 1985
May 1985 (1 of 2)
May 1985 (2 of 2)
June 1985 (1 of 2)
June 1985 (2 of 2)
July 1985
Aug 22/1985 (1 of 2)
Aug 22/1985 (2 of 2)
Aug 1985
Sept 85
November 1985 (1 of 2)
November 1985 (2 of 2)
December 1985
January 86 (1 of 2)
January 86 (2 of 2)
February 1986
March 86 (1 of 2)
March 86 (2 of 2)
April 86 (1 of 4)
April 86 (2 of 4)
April 86 (3 of 4)
April 86 (4 of 4)
May-June 5 1986
June 24 - August 31, 1986
0725E86 - July 86
0715E85 - July 86
0710E86 - July 86
0707E86 - July 86
September 1986 (1 of 2)
September 1986 (2 of 2)
October 1986
Nov 1986
December 1986 (1 of 2)
December 1986 (2 of 2)
January 1987
12/16/86 - 12/31/86 (1 of 3)
12/16/86 - 12/31/86 (2 of 3)
12/16/86 - 12/31/86 (3 of 3)
Feb March 1987 (1 of 2)
Feb March 1987 (2 of 2)
March 18, 1987
April 1987 (1 of 3)
April 1987 (2 of 3)
April 1987 (3 of 3)
May 1987 (1 of 2)
May 1987 (2 of 2)
June 1987
July 1987
August 14, 1987 (1 of 2)
August 14, 1987 (2 of 2)
August 15, 1987 (1 of 3)
August 15, 1987 (2 of 3)
August 15, 1987 (3 of 3)
August 28-9, 1987 (1 of 2)
August 28-9, 1987 (2 of 2)
August 30-31, 1987 (1 of 3)
August 30-31, 1987 (2 of 3)
August 30-31, 1987 (1 of 3)
October 1987 File 1
October 1987 File 2
October 1987 File 3
October 1987 File 4
October 1987 File 3
November 1987
November 1987
November 1987
December 1987
December 1987
December 1987
December 1987
March 1988
February 1988
January 1988
March 20, 1988
March 1988
March 25, 1988
May 13, 1988
May 14, 1988
May 25, 1988
May 26, 1988
June 22, 1988
June 23, 1988
July 10, 1988
July 12, 1988
July 14, 1988
July 16, 1988
July 18, 1988
September 6, 1988
October 3, 1988
October 4, 1988
October 15, 1988 (1 of 2)
October 15, 1988 (2 of 2)
November 1988
December 1988 (1 of 2)
December 1988 (2 of 2)
January 1989 (1 of 5)
January 1989 (2 of 5)
January 1989 (3 of 5)
January 1989 (4 of 5)
January 1989 (5 of 5)
February 1989 (1 of 3)
February 1989 (2 of 3)
February 1989 (3 of 3)
2003 Dec L
2003 Dec. M
2004 Mar A
2004 Mar. B
2004 Mar. C
2004 Mar. D
2004 Apr. A
2004 Mar. E
2004 May A
2004 May B
2004 Jun. A
2004 Jun. B
2004 Jun. C
2004 June D (1 of 2)
2004 Jun D (2 of 2)
ARPA Reports
2004 Jun E-2
Elephant
Data Mining Slides
2004 Jun F-1
1979 Notes - Linguistics
2004 Jun F-3
Humar
2004 Jun F-5
2004 Jun-G
2004 Jun-H
2004 Jun H (2 of 2)
2004 Jun I
2004 Jul A
Lisp Book
2004 July B
2004 July C
Chess
May 91 (1 of 2)
May 91 (2 of 2)
Jun 91
Jul 91
Jul 91 (2)
August 91
Sep 91 (1 of 2)
Sep 91 (2 of 2)
Sep 91 (3)
Oct 91
Dec 91
Jan 92 (1 of 2)
Jan 92 (2 of 2)
Jan 92 (2) (1 of 2)
Jan 92 (2) (2 of 2)
Feb 92 (1 of 2)
Feb 92 (2 of 2)
Mar 92
April 92 1
April 92 2
April 92 3
April 92 4
April 92 5
April 92 6
April 92 7
April 92 8
April 92 9
May 92 1
May 92 2
May 92 3
May 92
Jun 92 1
Jun 92 2
Jun 92 3
Jul 92
Aug 92 1
Aug 92 2
Aug 92 3
Sep 92 (1 of 2)
Sep 92 (2 of 2)
Oct 92 1
Oct 92 2
Oct 92 3
Dec 92 1
Dec 92 2
Dec 92
November 93 (1 of 3)
November 93 (2 of 3)
November 93 (3 of 3)
Dec 93
Jan 94
Feb 94 (1 of 3)
Feb 94 (2 of 3)
Mar 94
Apr 94 1
Apr 94 2
Apr 94 3
Apr 94 4
Apr 94 5
May 94 (1 of 2)
May 94 (2 of 2)
June 94
July 94
Aug 94
Jan 95
Mar 95 1
Mar 95 2
Mar 95 3
Mar 95 4
Mar 95 5
Mar 95 6
April 95 1
April 95 2
April 95 3
May 95
May 95 1
May 95 2
May 95 3
May 95 4
May 95 5
May 95 6
June 95 1
June 95 2
June 95 3
June 95 4
June 95 5
Aug 1995 (1 of 2)
Aug 1995 (2 of 2)
Sept 95 (1 of 3)
Sept 95 (2 of 3)
Sept 95 (3 of 3)
Oct 95
Nov 95
Dec 95
Feb 96 1
Feb 96 2
Feb 96 3
Feb 96 4
Feb 96 5
Feb 96 6
Feb 96 7
Feb 96 8
Feb 96 9
Feb 96 10
Feb 96 11
Feb 96 12
Feb 96 13
Feb 96 14
Feb 96 15
Feb 96 16
Feb 96 17
Feb 96 18
Mar 96 1
Mar 96 2
April 96 1
April 96 2
April 96 3
May 1996 (1 of 2)
May 1996 (2 of 2)
June 1996
July 1996
March 1989 (1 of 2)
March 1989 (2 of 2)
April 1989 (1 of 2)
April 1989 (2 of 2)
May 1989 (1 of 3)
May 1989 (2 of 3)
May 1989 (3 of 3)
June 1989 (1 of 3)
June 1989 (2 of 3)
June 1989 (3 of 3)
July 1989 (1 of 2)
July 1989 (2 of 2)
August 1989
September 1989 (1 of 2)
September 1989 (2 of 2)
October 1989 1
October 1989 2
October 1989 3
October 1989 4
November 1989
December 1989
January 1990 1
January 1990 2
January 1990 3
January 1990 4
January 1990 5
January 1990 6
February 1990
May 1990
June 1990 (1 of 2)
June 1990 (2 of 2)
July 1990 1
July 1990 2
July 1990 3
August 1990 1
August 1990 2
October 1990
November 1990 1
November 1990 2
November 1990 3
November 1990 4
November 1990 5
November 1990 6
November 1990 7
November 1990 8
November 1990 9
November 1990 10
March 1990 1
March 1990 2
March 1990 3
December 1990 1
December 1990 2
December 1990 3
December 1990 4
December 1990 5
December 1990 6
December 1990 7
December 1990 8
December 1990 9
December 1990 10
December 1990 11
January 1991 1
January 1991 2
January 1991 3
March 1991
April 1991
May 1991 (1 of 2)
May 1991 (2 of 2)
January 1993 1
January 1993 2
January 1993 3
January 1993 4
February 1993
March 1993
April 1993 1
April 1993 2
April 1993 3
May 1993
June 1993 1
June 1993 2
June 1993 3
June 1993 4
NWSMC June 23-24 1993
July 1993 (1 of 2)
July 1993 (2 of 2)
August 1993
Sept 1993
October 1993 1
October 1993 2
October 1993 3
January 1998
February/March 1998
April 1998
May 1998
June 1998
July 1998
Sept 1998
October 1998
November 1998 (1 of 2)
November 1998 (2 of 2)
August 1996
September 1996
October 1996
November 1996
December 1996
January 1997
March 1997
May 1997 (1 of 3)
May 1997 (2 of 3)
May 1997 (3 of 3)
June 1997
August 1997 1
August 1997 2
August 1997 3
August 1997 4
September 1997
October 1997
November 1997
December 1997
January 1999 (1 of 3)
January 1999 (2 of 3)
January 1999 (3 of 3)
February 1999 (1 of 2)
February 1999
March 1999
May 1999
July 1999
August '99
September '99
Flavell
November 1999
Time Blind
December 1999
January 2000
February 2000
March 2000
Quantum
Kurklu
May 2000
June 2000 (1 of 2)
June 2000 (2 of 2)
July 2000
August 2000
September 2000
October 2000
November 2000
December 2000 (1 of 2)
December 2000 (2 of 2)
Jan 2001
Feb-March 2001
April 2001
May 2001
July 2001
October 2001 (Part 1)
October 2001 (Part 2)
November 2001
December 2001 Part 1
December 2001 Part 2
December 2001 Part 3
Jan 2002
Chron April 2002
Sept 2002 (1 of 3)
Sept 2002 (2 of 3)
Sept 2002 (3 of 3)
January 2003
May 2003
July 2003
December 2003 1
December 2003 2
December 2003 3
December 2003 4
December 2003 5
December 2003 6
December 2003 7
December 2003 8
December 2003 9
Non-Monotone Reasoning files
Non-Mono Dups A-F
Non-Mono Dups G-L
Non-Mono Dups M-S
Non-Mono M-S
Non-Mono T-Z
Non-Monotonic Reasoning
Nonmonotonic Library
Non-Mono A-F
Non-Mono G-L
Alpha Files
Albus, James S.
Abbott, Russell J.
Aczel, Peter
Ajenstat, Henri
Allen, F. E.
Allen, John
Ambler, Allen L.
Andrews, Peter
Anisimov
Antoni, Giovanni D.
Ashcroft, E. A.
Aspvall, Bengt
AAAI
AAAI Workshops
ABL
ACM
Access to Energy
AI Project Admin
Abstract Syntax and Semantics of Programs To Go
Academic Council
Advice Taken
Algebraic Simplification
Air Sickness Bags
Airline
Alaska
Algebraic Language
ALGOL (1 of 2)
ALGOL (2 of 2)
Ambiguity Tolerance
Appointments
April 1979
Miscellaneous 1977-1979
Arnold, R. David
Colby
Crocker
Tesler, L.G.
Wagner, Todd
Weiner, Peter
Elschlager, R.
Ginsparg, Jerrold
Harvey, Brian
Levy, David
Sintzoff, Michel
Stark, W. Richard
Swinehart, Dan
ARPA
Assignments
Automated Biological Lab with Glazer, Minsky
Ascribing
Baker, T.P.
De Bakker, J.W.
Barringer, H.
Barzden, J.M.
Baskett, Forest
Bauer, F.L.
Bibel, Wolfgang
Bledsoe, W.W.
Bobrow, Daniel G.
Bochmann, Gregor
Bosack, L.
Bourbaki, Nicholas (Peter?)
Bayer
Brooks
Buchanan
Bukovsky
Bulnes
Burstall
Buvac, Sasa
Bad Ideas
Barwise
Bibliography
Biography
Book
Brattle Research re: MAD Intelligent Systems
Britannica
Budget
Cartwright
Cheeseman, Peter
Budget
Chin, David Ngi
Chou, Shang-Chin
Chudnovsky, David
Clancy, William J.
Codfish, Michael
Costello, Tom
The Future of Cars, Energy, Environment, Economics. January 27-28
CASBS
CBCL
Center for Democracy in the USSR
Centre Mondial 1985-
Chernobyl (1 of 2)
Chernobyl (2 of 2)
Chess
Chowning
Circle Generator
Circuit Layout
Circumscription
Class
CS323 Nonmonotonic Reasoning
CS323 1993 Handout #1
STS160 1998
Clean Air
Clippings
COBOL
For Commitments
Common Sense Slides
Compiler
Comprehensive
Computer Center
Computer Control Lab
Computer Man Society Proceedings, Haifa
Computer Man Society Proceedings, Haifa '79
Computer Science Division
Computers
Computing Reviews
Consciousness
Consulting
Creary
CS206 1980
CS258 W75
CSD
CSD-CF
CVLIK
Current Teaching
Davis, Byron
Davis, Ernest
Deck Setup for a Lisp Job
Dennis, Jack B.
Deransart, Pierre
Dincbas, M.
Doyle
Drabent, Wlodzimierz
Dreyfus, H.
Drummond, Mark E.
Dialog
Dialog systems
Dues and Subs
DuPont Article from FORTUNE
Edelman, Shimon
Ershov, Andrei
EBOS including IBM RT
Educational Literature
Educational Remarks
EKL
Elementary Programming
Elephant
Elephant Lecture
Electrochemical Lab (Tokyo)
Energy
Environmental Material
Expense
Fagin
Falkenhaimer, Brian
Feferman, Solomon
Feigenbaum, E.A.
Fiat, Amos
Freiling, Chris
Friedlander
Futamura, Yoshihiko
Feldman
Filman
Finlayson
Fredkin
Fall Joint Programming Race
The Feasibility of Interstellar Travel
From brown notebook OAI
Forsythe
Future of scientific publication slides
Gabriel, Richard P.
Ganapathy
Gardner, A.
Gazdar, Gerald
Gelfund, I.M.
Genesereth
Gennery, Donald B.
Georgeff, Michael P.
Gerson, Elihu M.
Ginsberg, M.
Ginsberg, Matthew
Goad, C.
Goguen, Joseph A.
Golden, Donald
Gordon, M.
Gorin
Gosling, James
Jasper, R.
Granlund, Goesta H.
Green
Greenberg, Nina
Greenblatt
Gries, D.
Griss, M.
Grosof, Benjamin
Grosz, Barbara
Glasnost
Government Support
Graduate Students
Grants and Reviews
Hagert, Goran
Haneclou, Peter
Hanks, Steve
Hannah
Hanson, Robin
Haugland
Hayes-Roth, Barbara
Hayes (1 of 2)
Hayes (2 of 2)
Hedlund, Martin
Hewitt, Carl
Hilts, P.
Hillis, Daniel W.
Hin Tikka
Hirsch, M.
Hobbs, Jerry
Hobbs
Hoffman, William C.
Hofstadter, Douglas
Holloway, David
Hooman, Jozef
Hopcroft, John
Houri, A.
Huberman, Bernardo
Hung
Hunt, Warren A., Jr.
Hunter, Maxwell W. II
Hurlbert, Anya
Hyde, Roderick A.
Howard
Hieronymus
High Frontier
HIJCAI Politics
Home Terminal Paper
IBM
Ideas for Project
IFIP Congress '65
IFIP Papers
Incomplete Work
India
Inference
Possible Forms of Intelligence
J
K
Kiessling, Werner
Knutsson, H.
Komorowski, H.J.
Konolige, Kurt
Korf, Richard E.
Kowalski, Robert
Knowledge
Knowledge 1986 Man
Knowledgebase
Jean-Louis Lassez
Lloyd, J.W.
L
Lighthill Review Master
Lighthill Review Copies
Levinthal
Licklider
Lederberg
Letters
Letters - low priority
Workshop on Planning and Reasoning about Action, 1986
Library Listings
LISP Functions
LMC
LISP Book
Little Thoughts
Martin
McDermott, Drew
M
McMahon Squares Puzzles, Etc.
Menzel
Minsky
Moore, Robert C.
Moravec, Hans P.
MAD
MAIL to Answer
Math Sci
MCC
Misc
Misc Reprints
MTC
Missionaries & Cannibals
My Notes
Names
National Association of Scholars
Notes Sept-Oct 79
Naivete
Names & Numbers
Nat. Res. Council
New Computer
Not In Our Genes
Notes
Non-Monotonic Slides
Notebooks
Notes
Notes June 74
JMC Notes
Research Notes, TS
Research Notes, AI
Natl Academy of Sciences
National Academy of Sciences 2
NCD
Natl. Assoc. Sch.
1987 August - November
Notes
Notebooks
Notes 3
Notes 4
Notes 5
Notes 6
Obstacle
N
Nilsson, Martin
Old Corresp. JMC
P-Q
Parallel Computing
Passport & Visas
Philosophy Papers
PYLYSHYN
Papers Being Revised
PROLOG
PDP 1
PDP
7090
Proposals
Projects
Personnel
Prospective Visitors
Provin
Philosophy and AI
Philosophy Reprints
Project Ind.
Propaganda
Parallel Computer
Petition
P
Perlis, Donald
Perry, John
Petrie, Charles, Jr.
Phelps, John B.
Popplestone, Robin
Przymusinski, Teodor C.
Queens
Q. 32
R
Reiter, Raymond
Restivo
Ringle
Real Time Language
Recursion Article
Refile
Report Lists
Refereeing and Reviewing
Requests
Revolution
S
Science and Society
Scientific American Article
Scientific American
Soviet Bureaucracies Souvenirs
SDI
Soviet Computing
SDI
STO
Spring 1979
Sigma Xi Lecture
Searle Slides
Senate
Stanford Senate
IJCAI Trip
Sh-Sz
Shapiro, Ehud
Shoham, Yoav
Spee, Paul
Simple Simon
Slides - Use of Computer in Offices
Sloman
Study Groub [sic] Business
Sustainability
Samizdat bulletin
Sa-Sg
Safra, Shmuel
Sandewall, Erik
Sergot, M. J.
Slides and transparencies
McCarthy Papers
assorted transparencies
Unlabeled Misc.
Space Travel
Talcott Thesis
Time Sharing Debugging for a Small Computer
Int'l Symp on AI 11/13-15 - Cancun
Symp - Bledsoe - Texas 11/15-16
Newcastle-on-Tyne 9//7-11/92
Transparencies
Knowledge Slides
Transparencies 2
Some Expert Systems
Terminal, Etc.
US-Japan AI Conference
Time Sharing Grant
T
Taylor, Stephen
Toledo, Sue
TWX
B 5000
U Texas
U-V
van der Poel, W. L.
VTSS
W 1
W 2
Winograd, Terry
X-Z
Notebooks
Math Theory of Computation Jan 1965 -
J. McCarthy, Computation Center, Stanford, Calif.94305
1970 B
1970 C
Fall 1970
1970? A
Dec 1970 D
Dec. 1970 E
Computers in Number Theory/Number Theory/Elementary Number Theory/Cours d'Arithmatique
1972 July
Dec 1973
Dec 1974 A
Dec 1974 B
May 1977 I. Knowledge
9 June 1977
1977 Sept 18
Dec 19, 1977
1982 A
Round the world in '78
July 8, 1979
circa 1980?
circa 1975
1981 Sept 15
June 19, 1981
1981 June 11. Contains draft of Coloring Maps and the Kowalski Doctrine
1981 May 26. ANL (artificial natural language)
1982 April 17
1982 Aug 19
1982 April 22
1982 April 19, 1982 July 1. Contents: p. 7 - Theory of dirty LISP; p 15 - locally dirty append.
1982 Aug 11
1982 Sept 4
1983 June 27
1983 Sept 13
from 1983 Dec 19 to 1984 Jun 21
1984 June 20 - 1984 Sept 10
1984 Dec 20 - 1985 Mar 26
1985 June 12 - 1985 Sept 19
1985 Sept 19 - 1986 Mar 21
1986 Mar 22 - 1986 Aug 14
1986 Aug 14 - 1986 Dec 4
1986 Dec 4 - 1987 May 6
1987 May 6 - 1987 July 11
1987 July 12 - 1987 Oct 5
1987 Oct 14 -
1988 Mar 1 - 1988 June 20
1988 June 21 - 1988 Nov 14
1988 Nov 14 - 1989 April 25
1989 Apr 26 - 1989 Dec 31
1990 June 1 - July 15
1990 July 29 -
1990 Sept 16 - November
3.15
1991 Jan 27 - 1991 Nov 13
1992 May 1 - 1992 Nov 20
1993 June 20 -
97 Nov 7
2000 May 31
small red Memo book
small green Mead Memo book
small spiral-bound green checked notebook
41176
small green checked notebook
small hot pink notebook
small yellow notebook
1988 Aug 3
blue spiral-bound notebook
Misc
Formal Reas.
Port. Comm. Lisp.
DARPA Hardware
Basic AI
EBOS
Theorem Prov.
Advanced R & D
QLISP
DARPA Contract Information
Technology Essay
Elephant
JMC notes, handwritten
Slides (1 of 2)
Slides (2 of 2)
2004 Aug B (1 of 2)
2004 Aug B (2 of 2)
2004 Aug C
2004 Sept B
CSLI Monthly
Conference Record of the 1980 LISP Conference
QLISP
LISP Programming and Proving
Elephant
Umbrella Feb 89
Loose Misc.
Outgoing Correspondence
1989 Correspondence - JMC
JMC 1989-1990
LISP History 1
References for JMC LISP
LISP History 2
Commonsense
Rec. Humor
Solutions for CS 257A's Final
CS226 Wtr. 1981. Epistem. Problems of AI
PROLOG 1982 CS321
CS204 1982
CS206 Fall 1982
CS226 Winter 82-83
CS206 1983
CS258 W84
CS157A Winter 84 Reading Course
CS157 Winter 1983
CS157B Spring 1983
CS323 Reader
CS258 notes
CS 221
CS 323
CS306
CS 221 1990
CS157 1991
CS242 F92
CS 323 Winter 90
CS 323 1992
CS 157 1992
Common Sense '93 Working Papers
Non-Monotonic Reasoning Workshop
CS 323 Winter 1996 Reader
Stanford Artificial Intelligence Project
Final Report: Research in Mathematical Theory of Computation
LISP Programming and Proving
Library
Papers
Papers
NSF MCS81-11586 2 FCZ 432
2FCZ 451 163C 187 NSF MCS 82-06565 JMC-Ketonen
AFOSR 2FCZ464 AFOSR81-0014
2 FCZ762 ARPA N00039-82-C-0250 McCarthy
ARPA Equipment 2FCZ780 MDA903 83 C0188 187X007
2FCZ913 IBM 192T412
JMC Japan NSF
2M-AFOSR 84-85
Gabriel Proposal
Portable Common LISP ARPA Proposal
JMC NSF Renewal
2M/Pnueli NSF
JMC/Goad MCS-8305026 NSF 1983-85
Unfunded Proposals
JMC ARPA
VTSS Essay
CS323 1993
CS323 Nonmonotonic Reasoning
C323 1994 1
CS323 1994 2
CS323 W95
STS 160 1994
STS 160 W95
Inconvenient Car Trouble, Axioms
Proving Properties of Programs
assorted loose leaves - misc.
KQED 88.5FM. Forum: Artificial Intelligence 2001 Dec 24
Science and Technology in Our Time. Russian. Artificial Intelligence. Ampex Acetate 0.25" x 600', 5" reel.
The Beginning of the End 1947
2 unidentified 3.5" floppy disks
Robots. Post production - edited transcription tape. BBC.
Robots - post production edited TX tape
Argonne National Laboratory Engineering Research. "Integral Fast Reactor... Energy for Tomorrow" (22:45) 1993 Mar 19
Additional Material Acession ARCH-2013-047
notes - handwritten 1950s
Memos and Reprints - McCarthy
Misc notes - not JMG
Old Notes
Fredkin, McCarthy - Time Sharing
LISP Kalah Program
Probalistic models of games
Aggregation
Kryloff and Bogoliuboff
Subject 6.41 course notes
Introduction to automatic computation
Subject 6.41 course notes - McCarthy
Darmouth summer project notes
current misc writings (from 1970)
Letters
Letters
Aggregation
Automata Studies
Machine modfications
Summer research project
Badges
The AI problem - hierarchy of topics
Clean up System 15
No on 15
Intro to Turing Machines
Research notes 1950s
Projects
IBM Consultant memos
Proof Checking (Stanford CS Department)
Advice Taker (Stanford CS Department)
Time-Sharing Notes
Essays
CHESS (Stanford CS Department)
Chemistry 10
General Notes (grey notebook)
General Notes (red notebook)
General Notes (yellow notebook)
General Notes (orange notebook)
General Notes (big yellow notebook)
Folder A: Notes, letters, reports, and various other documents 2003 Sep
Folder B: Notes, letters, reports, and various other documents 2003 Sep
Folder C: Notes, letters, reports, and various other documents 2003 Sep
Folder D: Notes, letters, reports, and various other documents 2003 Sep
Folder E: Notes, letters, reports, and various other documents 2003 Sep
Folder F: Notes, letters, reports, and various other documents 2003 Sep
Folder G: Notes, letters, reports, and various other documents 2003 Sep
Folder E: Notes, letters, reports, and various other documents 2003 Sep
Folder A: Notes, letters, reports, and various other documents 2003 Oct
Folder B: Notes, letters, reports, and various other documents 2003 Oct
Folder A: Notes, letters, reports, and various other documents 2003 Nov
Folder B: Notes, letters, reports, and various other documents 2003 Nov
Folder C: Notes, letters, reports, and various other documents 2003 Nov
Folder D: Notes, letters, reports, and various other documents 2003 Nov
Folder E: Notes, letters, reports, and various other documents 2003 Nov
Folder F: Notes, letters, reports, and various other documents 2003 Nov
Folder G: Notes, letters, reports, and various other documents 2003 Nov
Folder A: Notes, letters, reports, and various other documents 2003 Dec
Folder B: Notes, letters, reports, and various other documents 2003 Dec
Chess program, notes on computer program Undated
DocDil, CS Brain exercises 1970s
Letter from Leith Philip 1989
A letter from Vietnam, 1963 1989
Letter from Donald Plichie 8-Mar-90
Contexts academic report 1989
Notes CYCL Jun-89
Letter from the University of Maryland 16-Feb-61
Letter from the Putnam Mathematics Competition 18-Jul-56
Photograph May-90
Notebook circa 1988
Folder B. Various notes, reports, and other documents Dec-03
Folder C. Various notes, reports, and other documents Dec-03
Folder C. Various notes, reports, and other documents Jan-04
Folder B. Various notes, reports, and other documents Jan-04
Folder A. Various notes, reports, and other documents Aug-04
Songs, various song lyrics Undated
Old Pocket Notes & Bus Cards Undated
Martha, notes 1960s
Manuscripts 1950s-1960s
John (Jack) McCarthy Letters and Photos 1960s-1980s
Michael R. Genesereth Academic Papers 1982
Math Academic Papers: V.I. Arnold and Michael Robert Herman 1964
Artificial Intelligence Academic Papers: William A. Hoff, Ryszard S. Michalski, Robert E. Stepp 1986
SE2 Policy 1970s-1980s
Reprints reprints AI - others 1982
Reprints - Non CS Academic Papers 1975-1976
Sigma Xi Lecture Undated
Notes - JME, including math problems and solutions circa 1975
Calculators Notes and Reports 1982
Civil Defense Papers 1981
III Planning Committee Notes and Reports 1981
III Technical Advisory Committee Report 4-Aug-82
AIPHIL Book 1970s-1980s
CBCL, Notes and Reports 1970s-1980s
Consulting Agreements 1985-1986
CS 226, Notes on CS and one academic report 1960s-1980s
Drafts - JME, Academic Reports 1979-1981
Editors, Command chart Undated
Circumscription, academic paper with rough draft and notes 1981
GE Talk notes and O.T.S. Undated
Interell, Reports and Miscellaneous Documents 1984-1985
LISP Book Mar-81
MAD-2 Product Planning Meeting notes 8-Mar-85
Artificial Intelligence notes 1980-1985
JMC Notes 1978-1979
Reprints, non-JMC, Academic Reports and Various documents 1970s-1980s
My reprints, Academic reports, pamphlets, and other documents 1960s-1980s
Reprints on Academic reports 1970s
SE2 Reports and various documents 1980s
Space, work done with NASA, etc 1970s-1980s
Winston notes Undated
Misc, One correspondence and a resume Aug-78
Bukovsky, Correspondences Jul-85
SE2, Extensive and lengthy reports, heavy folder 1974-1984
Carolyn, Computer reports 29-Apr-80
Misc Sci, Reports 11-Jan-69
Interference Corporation, all documents, heavy folder 1983-1984
John McCarthy, Everything from expense to academic reports to miscellaneous subfolders and documents 1983-1986
More Interference, Reports and supplement documents 1983-1984
III Stock, Correspondences, pay stubs, miscellaneous documents including some from from Merrill Lynch 1973-1976
III, Correspondences, reports, and miscellaneous documents 1983-1984
PCC, Various documents but mainly correspondences 1978
Hoover, One memorandum 30-Sep-83
III, Documents, notes, and correspondences 1980
III Current, Documents, notes, and correspondences 1975-1983
Issues, report on issues in Computer Science 10-Oct-73
Letters and photographs mainly from Russia and reports 1972 -
Letters, postcards, and other documents 1972 -
Letters and correspondence 1979
Quasar, Newspaper stories and other reports 1977
Sense issues, reports, newspapers, and other miscellaneous documents 1977
Shockley newspaper cover story 30-Sep-70
A variety of reports, meeting notes, and miscellaneous documents 1988 Jan
Newspapers, correspondences, and reports 1988 Feb
Correspondences and a variety of reports 1988 Mar
Correspondences and a variety of pamphlets 1988 Apr
Copy of a newspaper cover story and notes from a Board Meeting with Information International 1988 May
An "Operations Report" and a newspaper editorial 1988 Jun
Documents 1-26, A variety of reports, newspapers, and miscellaneous documents 1988 Jul
Documents 1-11, A variety of pamphlets, magazines, and miscellaneous documents 1988 Aug
Documents 1-16, A variety of correspondences, reports, pamphlets, and miscellaneous documents 1988 Sep
Documents 1-12, A variety of reports, proposals, and miscellaneous documents 1988 Oct
A variety of correspondences and scholarly reports 1988 Nov
Documents 25-52, A variety of correspondences and scholarly reports 1988 Dec
Documents 1-24, A variety of correspondences and scholarly reports 1988 Dec
Folder A, A variety of maps, reports, and miscellaneous documents 1987 Aug
Folder B, Scans of books 1987 Aug
A variety of reports, pamphlets, and miscellaneous documents 1987 Aug
A variety of reports, pamphlets, and miscellaneous documents 1987 Aug
A variety of correspondences and scholarly reports 1987 Jul
A variety of reports, pamphlets, and miscellaneous documents 1987 Mar
A variety of reports, pamphlets, and miscellaneous documents 1987 Feb
Mostly reviews and a couple of magazines 1987 Jan
Notes, reports, classroom exams, and various documents 1986 Dec
Notes, reports, and various documents 1986 Nov
Notes, reports, and various documents 1986 Nov
Mostly academic reports 1986 Nov
Correspondences, and one notebook ('04) 1989, and 2000s
John McCarthy Novel drafts with comments 2004
Oral History Interview 1990
Souvenirs, Drafts of an apparent book "A nerd, a woman, and an Imprudent AI." Undated
Passports, visas, and other travel documents 1980s-00s
Word Spinners, appears to be a draft version of a book 24-Jul-04
Inventions, patents and templates for writing patents 1990s
Miscellaneous folder with various documents
Notebooks
Audiovisual material
Lecture slides
LISP--HOPL talks 1978 Jun
McCarthy (part 1) 8.02 Undated
McCarthy (part 2) 8.03 Undated
McCarthy (part 3) 8.04 Undated
McCarthy (part 4) 8.05 Undated
Computer Forum: Ed Fest I (part 1) 8.06 2006 Mar 25
Computer Forum: Ed Fest I (part 2) 8.07 2006 Mar 25
Computer Forum: Ed Fest I (part 3) 8.08 2006 Mar 25
Computer Forum: Ed Fest II (part 1) 8.09 2006 Mar 26
Computer Forum: Ed Fest II (part 2) 8.10 2006 Mar 26
Computer Forum: Ed Fest II (part 3) 8.11 2006 Mar 26
Computer files
WTDS Interviews, KFJC 2006 Apr 10-13
McCarthy, John
Warren, Jim