Artifact Details

Title

Axiomatization and Implementation

Catalog Number

102720614

Type

Text

Date

1964

Author

Finkelstein, Mark; Safier, Fred

Publisher

Stanford Artificial Intelligence Laboratory

Identifying Numbers

Document number Memo No. 15

Extent

1 folder

Category

Technical Report

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Lisp history by year

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010