Normal view MARC view ISBD view

Lecture notes in artificial intelligence [v.518] Instantiation theory on the foundations of automated deduction

Material type: materialTypeLabel

BookPublisher: Verlag Springer 1991Description: 133p.ISBN: 3540543333.Subject(s): Automatic theorem proving | Logic, Symbolic and mathematical | Artificial intelligenceDDC classification: 001.535 | L497 v.518

average rating: 0.0 (0 votes)

Item type	Current location	Collection	Call number	Vol info	url	Status	Date due	Barcode	Item holds
Books	PK Kelkar Library, IIT Kanpur	COMPACT STORAGE (BASEMENT)	001.535 L497 v.518 (Browse shelf)	v.518	Book Request	Available		A112674

Total holds: 0

Previous								Next
Previous	001.535 L497 v.476 Lecture notes in artificial intelligence [v.476] natural language processing	001.535 L497 v.481 Lecture notes in artificial intelligence [v.481] modelling spatial knowledge on a linguistic basis	001.535 L497 v.513 Lecture notes in artificial intelligence [v.513] an approach to knowledge base management	001.535 L497 v.518 Lecture notes in artificial intelligence [v.518] Instantiation theory on the foundations of automated deduction	001.535 L497 V.522 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE	001.535 L497 v.535 Lecture notes in artificial intelligence [v.535] fundamentals of artificial intelligence research	001.535 L497 v.541 Lecture notes in artificial intelligence [v.541] EPIA '91	Next

There are no comments for this item.

PKK Library