Agora, apresentando os itens 1-3

    Inteligencia artificial (1)
    Logica simbolica e matematica (1)
    Teses (1)