Livros
IA e ML
Aprendizado de máquina
Lógica e Computador: Modelagem de Raciocínio e Verificação de Correção de Programas

Lógica e Computador: Modelagem de Raciocínio e Verificação de Correção de Programas

Name: Lógica e Computador: Modelagem de Raciocínio e Verificação de Correção de Programas
Author: N.A. Alyoshina, A.M. Anisov, P.I. Bystrov, I.A. Gerasimova, V.S. Meskov, N.N. Nepeyvoda, V.A. Smirnov, V.N. Stebletsova, V.I. Shalak
ISBN: 5020071560

Aprendizado de máquina

mathematical logic artificial intelligence logic programming Prolog program verification reasoning modeling expert systems

Autor: N.A. Alyoshina, A.M. Anisov, P.I. Bystrov, I.A. Gerasimova, V.S. Meskov, N.N. Nepeyvoda, V.A. Smirnov, V.N. Stebletsova, V.I. Shalak
Editora: Ciência
Ano: 1990
Idioma: Russo; 45