Collections

Catalog Search

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,492 records.

Result 141-160 of about 1459

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

MK01 Version of LISP Interpreter
Atlas Computer Laboratory
Document, 1966
102720645

Functional Semantics of Algebraic Theories
Columbia University
Document, 1972
102719592

LISA (Siemans Interlisp)

Document, 1980
102720366

Statice Tutorial

Document, 1988
102720443

Linking Loader for MIDAS
Massachusetts Institute of Technology (MIT)
Document, 1966
102720640

Inside InterLISP : Two Implementations
Xerox PARC (Palo Alto Research Center)
Document, 1978
102719023

LISP Bulletin 2
Paris, University of
Document, 1978
102719035

Project Technical Report
Stanford Artificial Intelligence Laboratory
Document, 1970
102720703

General LISP Processing
Technische Universiteit Delft (TU Delft) [University of Delft]
Document, 1971
102720758

LISP Museum Catalog (ends 1988)

Document, 1989
102719662

LISP Programming and Proving
Stanford University
Document, 1978
102719047

Information on John McCarthy

Document, undated
102719655

Symbolic Manuals for Genera 7.2
Symbolics
Document, 1988
102720210

Software Installation Guide 7.2
Symbolics
Document, 1988
102720215