LOGS2005 : editor de demostraciones en lógica ecuacional

Ingeniero de Sistemas y Computación

Autores:
Sotelo Arévalo, Alejandro
Tipo de recurso:
Trabajo de grado de pregrado
Fecha de publicación:
2006
Institución:
Universidad de los Andes
Repositorio:
Séneca: repositorio Uniandes
Idioma:
spa
OAI Identifier:
oai:repositorio.uniandes.edu.co:1992/22827
Acceso en línea:
http://hdl.handle.net/1992/22827
Palabra clave:
LOGS2005 (Herramienta computacional)
Algoritmos (Computadores) - Investigaciones
Matemáticas en procesamiento electrónico de datos
Lógica simbólica y matemática - Procesamiento de datos
Ingeniería
Rights
openAccess
License
http://creativecommons.org/licenses/by-nc-nd/4.0/