Fundamentos de Sistemas Operacionais
Lógica de Predicados e Representação de Conhecimento
Ministério da Ciência e Tecnologia