Libros
IA y ML
Aprendizaje automático
Lógica y computadora: Modelado del razonamiento y verificación de la corrección de programas

Lógica y computadora: Modelado del razonamiento y verificación de la corrección de programas

Name: Lógica y computadora: Modelado del razonamiento y verificación de la corrección de programas
Author: N.A. Aleshina, 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

Aprendizaje automático

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

Autor: N.A. Aleshina, A.M. Anisov, P.I. Bystrov, I.A. Gerasimova, V.S. Meskov, N.N. Nepeyvoda, V.A. Smirnov, V.N. Stebletsova, V.I. Shalak
Editorial: Ciencia
Año: 1990
Idioma: Ruso; 37