Artifact Details

Title

A Property-List Representation for Certain Formulas in Predicate Calculus

Catalog Number

102720734

Type

Document

Date

1969

Author

Sandewall, Erik

Publisher

Uppsala University

Extent

1 folder

Category

Memoranda

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Lisp history by year

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010