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

Link to OAKTrust copy

Remote Storage

Holdings details from Remote Storage
Call Number	Status	Get It
Call Number:		1986 Thesis G626
Notes:		Cushing Archival Copy (Library Use Only)

1986 Thesis G626	Available