Todo idUSComunidades y coleccionesFecha de publicaciónAutoresTítulosMateriasAgencias financiadorasPremiadosPerfiles de autor USEsta colecciónFecha de publicaciónAutoresTítulosMateriasAgencias financiadorasPremiados
Mostrando ítems 1-2 de 2
El objetivo del trabajo es formalizar razonamiento complejo de forma legible por los humanos y procesable por las máquinas. ...
En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y se verifican automáticamente sus principales propiedades en el sistema de demostración automática ACL2.