Design & analysis of UNIFIC : a coprocessor for the unification algorithm /

Bibliographic Details
Main Author:	Gollakota, Ramgopal Venkata, 1962-
Format:	Thesis eBook
Language:	English
Published:	[Place of publication not identified] : [publisher not identified] ; 1986.
Subjects:	Artificial intelligence > Data processing. Automatic theorem proving. Major electrical engineering.
Online Access:	Link to OAKTrust copy

Description
Item Description:	"Major subject: Electrical Engineering." Typescript (photocopy). Vita.
Physical Description:	ix, 98 leaves : illustrations ; 29 cm. Also available online.
Bibliography:	Bibliography: leaves 76-77.