TY - BOOK AU - Goldszein,Mario AU - Carnota,Raúl Jorge TI - Inteligencia artificial aplicada: lógica y representación del conocimiento PY - 1986/// CY - Campinas PB - UNICAMP KW - INTELIGENCIA ARTIFICIAL KW - DEDUCCIÓN Y DEMOSTRACIÓN DE TEOREMAS KW - RESOLUCIÓN DE PROBLEMAS KW - REPRESENTACIÓN DEL CONOCIMIENTO KW - REDES SEMÁNTICAS KW - PROGRAMACIÓN LÓGICA N1 - Incluye bibliografía ER -