Franklin

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...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy