Artifact Details

Title

TABLOG : The Deductive-Tableau Programming Language

Catalog Number

102720448

Type

Text

Date

1984

Author

Malachi, Yonathan; Manna, Zohar; Waldinger, Richard J.

Publisher

Stanford University

Extent

1 folder

Description

Two copies of a paper and a set of lecture slides, all with the title: TABLOG: The Deductive-Tableau Programming Language

Category

Technical Paper or Note

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Manuals, manuscripts, and subject files; Assorted languages

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010