Livros — first-order logic

RU
Inteligência Artificial: Uma Abordagem Moderna. Quarta Edição. Volume 1. Resolução de Problemas: Conhecimento e Raciocínio

Inteligência Artificial: Uma Abordagem Moderna. Quarta Edição. Volume 1. Resolução de Problemas: Conhecimento e Raciocínio

A

Стюарт Рассел, Питер Норвиг

Algoritmos e teoria