Representación del conocimiento y razonamiento (2007-08)
Tema 17: Razonamiento en lógicas de orden superior

Referencias

• Tutorial sobre Isabelle/HOL.

[ Inicial | Temas | Documentación | Sistemas ]