Sistemas usados en "Lógica informática" (2018-19)

En esta página se encuentran enlaces a los sistemas utilizados en en el curso "Lógica informática".


Universidad de Sevilla
María José Hidalgo Doblado
Grupo de Lógica Computacional
Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla
Sevilla, 05-12-2018