A higher-order logic as the basis for logic programming / Gopalan Nadathur.

Author/Creator:

Nadathur, Gopalan.

Publication:

1987.

Format/Description:

Microformat
vi, 163 leaves ; 29 cm.

Local subjects:

Penn dissertations -- Computer and Information Science. (search)
Computer and Information Science -- Penn dissertations. (search)

Notes:

Thesis (Ph.D. in Computer and Information Science)--Graduate School of Arts and Sciences, University of Pennsylvania, 1987.
Includes bibliography.

Local notes:

University Microfilms order no.: 87-14099.

OCLC:

244930351

Loading...