ListarTesis (Ciencias de la Computación e Inteligencia Artificial) por materia "Ecuaciones, Teoría de"
Mostrando ítems 1-1 de 1
-
Tesis Doctoral
Una teoría computacional acerca de la lógica ecuacional formalización en ACL2 de la lógica ecuacional y demostración automática de sus propiedades
(2001)El objetivo principal de la Tesis es el desarrollo de una teoría computacional acerca de la lógica ecuacional, usando para ...