Sistemas usados en el curso "Representación del conocimiento y automatización del razonamiento".

En esta página se encuentran enlaces a los sistemas utilizados en el curso "Representación del conocimiento y automatización del razonamiento". Se irán publicando conforme se vayan utilizando.

• Otter.
• PVS.

[ Inicial | Temas | Sistemas ]