ListarTesis (Ciencias de la Computación e Inteligencia Artificial) por materia "Informática"
Mostrando ítems 1-3 de 3
- Tesis Doctoral
-
Tesis Doctoral
Desarrollo y aplicaciones de un entorno de programación para computación celular: P-Lingua
(2010-06-24)La presente memoria está estructurada en tres partes que constan de un total de siete capítulos cuyos contenidos se describen ...
-
Tesis Doctoral
Verificación formal en ACL2 del Algoritmo de Buchberger
(2003-12-18)En este trabajo se han desarrollado los elementos necesarios para especificar, implementar y verificar la correción del ...