Artifact Details

Title

Digital Equipment Corporation Paris Research Laboratory (DEC PRL)

Catalog Number

102714733

Type

Document

Description

Jean Gallier: Constructive Logics. Parts I and II (numbers 8 and 9).

Date

1991

Publisher

Digital Equipment Corporation (DEC)

Extent

1 folder

Category

Technical Report

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Technical reports

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010