Knowledge based theorem proving and learning

Bibliographic Details
Main Author: Cohen, Donald N. (-)
Format: Book
Language:Inglés
Published: Ann Arbor : University Microfilms International 1981.
Series:Computer science. Artificial intelligence ; 4
Subjects:
See on Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991005483529703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Request an interlibrarian loan: Email
Description
Item Description:Indice
Physical Description:202 p. ; 24 cm
Bibliography:Bibliografía
ISBN:9780835712026