ListarTesis (Ciencias de la Computación e Inteligencia Artificial) por materia "Inteligencia artificial académicas"
Mostrando ítems 1-1 de 1
-
Tesis Doctoral
Teoría computacional (en ACL2) sobre cálculos proposicionales
(2002)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.