El sueño de Leibniz. Sobre deducción automática y razonadores artificiales

En lo que sigue se ofrecerá un breve panorama de la manera en que se está realizando "el sueño de Leibniz", indicando algunas de sus propiedades y limitaciones. Pero más específicamente, se discutirá, en primer lugar, el papel que la deducción automática tiene en el desarrollo actual de la...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Legris, Javier
Formato: conferenceObject
Lenguaje:Español
Publicado: José Ahumada 2016
Materias:
Acceso en línea:http://hdl.handle.net/11086/4277
Aporte de:

Ejemplares similares