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,476 records.
LISP 2 Specifications Conference
Stanford University
Document, 1963
102720607
Axiomatization and Implementation
Stanford Artificial Intelligence Laboratory
Document, 1964
102720614
Iterative Interpretation of Tail-Recursive LISP Procedures
Universite Paris, Vincennes
Document, 1976
102718955
Editor Program in LISP
Massachusetts Institute of Technology (MIT)
Document, 1964
102720621
LISP : Principles
Uppsala University
Document, 1975
102720854
LISP 1.9 Programming System
Information Processing Society of Japan (IPSJ)
Document, 1976
102718993
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
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
LISBET LISP Dialect for Teaching
Aarhus, University of
Document, 1977
102718979
InterLISP Programmierhandbuch [InterLISP Programming Guide]
Institut für Deutsche Sprache
Document, 1977
102718981
Functional Semantics of Algebraic Theories
Columbia University
Document, 1972
102719592
LISA (Siemans Interlisp)
Document, 1980
102720366
Statice Tutorial
Document, 1988
102720443
Inside InterLISP : Two Implementations
Xerox PARC (Palo Alto Research Center)
Document, 1978
102719023
Project Technical Report
Stanford Artificial Intelligence Laboratory
Document, 1970
102720703
LISP Bulletin 2
Paris, University of
Document, 1978
102719035