From magnetic tape and rare film to lab notebooks and business plans to early mainframes and source code, our collection is as diverse as the history of computing. It is a rich resource for everyone, comprising historical objects, documents, software titles, ephemera, and photographs and moving images.
Search the Catalog
Catalog contains over 150,994 records.
Axiomatization and Implementation
Stanford Artificial Intelligence Laboratory
Document, 1964
102720614
Editor Program in LISP
Massachusetts Institute of Technology (MIT)
Document, 1964
102720621
LISP : Principles
Uppsala University
Document, 1975
102720854
Artificial Intelligence Meets Natural Stupidity
Massachusetts Institute of Technology (MIT)
Document, 1976
102718962
An Algebraic Simply Program in Lisp
Stanford University
Document, 1963
102720602
Implementing LISP Using an Abstract Machine
Institut National Polytechnique de Grenoble
Document, 1975
102720842
Linking Loader for MIDAS
Massachusetts Institute of Technology (MIT)
Document, 1966
102720640
MK01 Version of LISP Interpreter
Atlas Computer Laboratory
Document, 1966
102720645
FOL lecture notes
Document, 1978
102720373
Inside InterLISP : Two Implementations
Xerox PARC (Palo Alto Research Center)
Document, 1978
102719023
LISBET LISP Dialect for Teaching
Aarhus, University of
Document, 1977
102718979
InterLISP Programmierhandbuch [InterLISP Programming Guide]
Institut für Deutsche Sprache
Document, 1977
102718981
LISP 2 Document Conventions
System Development Corporation (SDC)
Document, 1967
102720669
LISP 2 Assembly Program (LAP) Specification
System Development Corporation (SDC)
Document, 1967
102720676
The PDP-6 Proof Checker
Stanford University
Document, 1967
102720683
Functional Semantics of Algebraic Theories
Columbia University
Document, 1972
102719592
LISA (Siemans Interlisp)
Document, 1980
102720366
Statice Tutorial
Document, 1988
102720443
Information on John McCarthy
Document, undated
102719655
Sekundaerspeicher in LISP [Secondary Memory in LISP]
Document, 1970
102720708