Guide to the Herbert Stoyan collection on LISP ... - OAC PDF server

More documents

Recommendations

Info

Source program listings 1963-1988102719670 REDUCE and Standard LISP Compiler program listing 1981102719705 Session listing of someone (Martin Griss?) testing Portable Standard LISP1981102719696 The LOGLISP User's Manual 1981102719697 Tiny Prolog program listing 1981102719680 MACLISP Tape 1982102719706 Program listing of LISP program labeled KANNITVERSTAN 1982102719687 MUMBLE program listing 1983102719674 NIL Notes for Release 0.259 1983102719707 Program listing of FORTRAN program named CDL.FOR 1983102719672 A Critique of Common Lisp 1984102719673 Miscellaneous materials from NIL (New Implementation of LISP) 1984102719698 Prolog interpreter program listing 1984102719700 VAX LISP release notes and installation information 1984102719699 VAX NIL program listing (partial) 1984102719708 Line printer listing of email within KINET group 1985102719691 MIT-AI Memos Stand Ok<strong>to</strong>ber 1985 1985102719690 LISP Museum Catalog 1986102719689 LISP Museum Catalog 1986102719693 A Short Manual for TULISP 1988102719692 Bibliography of Lisp, Prolog, and Artificial Intelligence books and papers1988102719695 QA4 documentation from UCI AI Library ca. 1975102719688 Weeks 28, and portions of later weeks of Common-Lisp@SU-AI mailing listca. 1984102719701 Miscellaneous LISP application program listings ca. 1985Box T1-T5 Computer media 1972-1990Collec<strong>to</strong>r: S<strong>to</strong>yan, <strong>Herbert</strong>Series Scope and Content SummaryThis series contains all computer media found in S<strong>to</strong>yan's <strong>collection</strong>. As of <strong>the</strong> time thisfinding aid was written, none of <strong>the</strong> media have been read, so this listing is based only on<strong>the</strong> human-readable labels.ArrangementThis series is arranged in 5 subseries by format of material:Magnetic Tape: ½ inchCartridge: TK50Floppy Disk: 8 inchFloppy Disk: 5.25 inchFloppy Disk: 3.5 inchBox T1-T3 Magnetic tape: ½ inch 1972-1989Collec<strong>to</strong>r: S<strong>to</strong>yan, <strong>Herbert</strong>Subseries Scope and Content SummaryThis subseries contains software ga<strong>the</strong>red by S<strong>to</strong>yan and his colleague Guen<strong>the</strong>r Goerzfrom various sources, including MIT (SIN, SHRDLU, VAX NIL), MITRE Corporation(MATHLAB), University of Utah (Portable Standard Lisp), Uppsala University (LISP F3),I.N.R.I.A. (Le_Lisp), Stanford University (Stanford Verifier), University of Texas(Boyer-Moore ACL <strong>the</strong>orem prover), and o<strong>the</strong>rs. It includes several VMS backup tapes ofS<strong>to</strong>yan’s working files.ArrangementThis subseries is arranged alphabetically by title in <strong>the</strong> folder list.102719741 Boyer-Moore ACL <strong>the</strong>orem prover 1979<strong>Guide</strong> <strong>to</strong> <strong>the</strong> <strong>Herbert</strong> S<strong>to</strong>yan<strong>collection</strong> on LISP programmingX5687.2010 36
Computer media 1972-1990Magnetic tape: ½ inch 1972-1989102719747 KI (artificial intelligence?)102719723 LISP F3, 700228 1979102719728 Le_Lisp V 15.2 de l'INRIA 1986102719724 MATHLAB - PDP-10102719742 Master Tape : Tools : Goerz TZ0962 1984102719748 Okuno - Lisp/Prolog Contest 1984102719745 Programs for semantic networks and speech recognition 1984102719725 SHRDLU - PDP-10102719722 SIN and MATHLAB - Telefunken TR440, GRZ, Berlin 1972102719740 Stanford Verifier 1979102719751 S<strong>to</strong>yan VMS BACKUP format tape 1985102719753 S<strong>to</strong>yan VMS BACKUP format tape102719752 S<strong>to</strong>yan backup tape 1986102719743 TR!? - Goerz FQ1135 1984102719744 TR?! - Goerz FR1136 1984102719746 Unlabeled tape 1989102719749 Unlabeled tape102719750 Unlabeled tape102719729 VAX NIL Release 0.286 1984102719726 VAX PSL 3.1 1983102719727 VAX/UNIX REDUCE Version 3.0 1983Box T3 Cartridge: TK50 1984-1990Collec<strong>to</strong>r: S<strong>to</strong>yan, <strong>Herbert</strong>Subseries Scope and Content SummaryThis subseries contains S<strong>to</strong>yan’s VMS backup tapes and one labeled “KI Methoden,”presumably containing material for one of S<strong>to</strong>yan’s books.ArrangementThis subseries is arranged alphabetically by title in <strong>the</strong> folder list.102719759 Backup tape 1990102719758 Backup tape 1990102719757 KI-Methoden 1988102719754 VMS BACKUP MAX.BAK MACSYMA 84 1984102719755 VMS LISP LISP.TXT102719756 lsp.bak (NIL) 1986Box T4 Floppy disk: 8 inch 1979-1998Collec<strong>to</strong>r: S<strong>to</strong>yan, <strong>Herbert</strong>Subseries Scope and Content SummaryThis subseries contains <strong>the</strong> manuscript of S<strong>to</strong>yan's book LISP-Anwendungsgebiete,Grundbegriffe, Geschichte, MYCIN, various release and working disks from TLC (The LispCompany) Lisp, uMath, and WordStar.ArrangementThis subseries is arranged alphabetically by title in <strong>the</strong> folder list.102719811 MYCIN102719810 Manuscript of S<strong>to</strong>yan's book LISP-Anwendungsgebiete, Grundbegriffe,Geschichte 1980102719818 Miscellaneous TLC disks 1982102719819 TLC LISP 1.45 1983102719820 TLC LISP 1.51 1983102719817 TLC Lisp working disks 1984102719821 uMath, Wordstar<strong>Guide</strong> <strong>to</strong> <strong>the</strong> <strong>Herbert</strong> S<strong>to</strong>yan<strong>collection</strong> on LISP programmingX5687.2010 37
Page 1 and 2: http://oac.cdlib.org/findaid/ark:/1
Page 3 and 4: Konstanz, in 1989 he became Profess
Page 5 and 6: LISP history by ye
Page 27: Manuals, manuscripts, and subject f
Page 30 and 31: Manuals, manuscripts, and subject f
Page 39 and 40: Technical reports 1958-199910271473
Page 41 and 42: Books 1960-1998102719785 Einfuhrung

Guide to the Herbert Stoyan collection on LISP ... - OAC PDF server

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?