Temas de "Razonamiento automático (2011-12)"

En esta página se encuentra las transparencias de las clases. Están en formato pdf.

Parte 1: Introducción

Parte 2: Razonamiento automático por resolución con OTTER y MACE

Parte 3: Razonamiento asistido con Isabelle/HOL/Isar

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

Universidad de Sevilla