Normal view MARC view ISBD view

KNOWLEDGE BASED THEOREM PROVING AND LEARNING

By:

Material type: Text

TextLanguage: English Series: Computer Science. Artifi Intelligence, No. 4Publication details: Ann Arbor Umi Research Press 1981Description: 202Subject(s):

DDC classification:

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	URL	Status	Date due	Barcode	Item holds
Books	PK Kelkar Library, IIT Kanpur	COMPACT STORAGE (BASEMENT)	511.3 C66k (Browse shelf(Opens below))	Link to resource	Available		A80216

Total holds: 0

Previous	No cover image available	No cover image available		No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	511.3 C361a ARITHMETICAL FUNCTIONS	511.3 C362 Symbolic logic and mechanical theorem proving	511.3 C488a Algebraic foundations of many-valued reasoning	511.3 C66k KNOWLEDGE BASED THEOREM PROVING AND LEARNING	511.3 C734 THE THEORY OF ULTRAFILTERS	511.3 C739 COMPUTER SCIENCE AND MULTIPLE-VALUED LOGIC	511.3 C76 TRUTH, SYNTAX AND MODALITY	Next

There are no comments on this title.

to post a comment.

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)