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.