Buscar en este sitio
Navegación
Novedades 2020
Apuntes
Docentes
Fechas y notas
Notas exámenes
Horarios
Programa de la materia
Material Año anterior
Herramientas
Filminas
Trabajos Prácticos
Herramientas
>
Herramienta Clprover
Herramienta utilizada para Resolución en Lógica de Predicados de Primer Orden
Accedé al sitio web de la herramienta desde acá:
http://code.google.com/p/clprover/