Sistemas usados en "Razonamiento automático" (2010-11)

En esta página se publicarán las relaciones de ejercicios del curso "Razonomiento automático".

• Relación 1: pdf y thy.
• Relación 2: pdf y thy.

[ Inicial | Temas | Ejercicios | Documentación | Sistemas ]