TY - BOOK AU - Oliveira TI - Engenharia do conhecimento PY - 1984/// CY - Lisboa PB - E. C. O. KW - Informática KW - Teses KW - Engenharia do conhecimento KW - Inteligência artificial KW - Programação em lógica KW - Prolog KW - QA76 ER -