Sistemas usados en "Lógica informática" (2005-06)

En esta página se encuentran enlaces a los sistemas utilizados en en el curso "Lógica informática". Se irán publicando conforme se vayan utilizando.

• Tableros semánticos: Tree Proof Generator
• Deducción natural: Jape y cálculo para la asignatura LI .
• Resolución: Otter/Mace.

[ Inicial | Temas | Prácticas | Documentación | Sistemas | Exámenes ]