Normal view MARC view ISBD view

Knowledge based theorem proving and learning by Donald N. Cohen

By:

Series: Computer science ; no. 4Publication details: Ann Arbor, Mich. UMI Research Press 1981Description: 202p. 23cmSubject(s):

Dissertation note: Revision of thesis (Ph.D.)--Carnegie-Mellon University, 1980

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Collection	Call number	Materials specified	Copy number	Status	Date due	Barcode
AM	PERPUSTAKAAN TUN SERI LANANG	PERPUSTAKAAN TUN SERI LANANG PILIH SIMPAN-P. TUN SERI LANANG (ARAS 1)	-	QA76.9.A96C63[00008034294] (Browse shelf(Opens below))		1	Available		00000069879

Revision of thesis (Ph.D.)--Carnegie-Mellon University, 1980

Includes index

Bibliography: p.199-200

There are no comments on this title.

to post a comment.