[Bratko] Programming for Artificial Intelligence, Ivan Bratko.

Material Didático sobre Lógica (labic.icmc.usp.br)

Índice