Documentación para "Representación del conocimiento y razonamiento" (2007-08)

• R. Brachman y H. Levesque Knowledge Representation and Reasoning. (Morgan Kaufmann, 2004).
• T. Nipkow, L.C. Paulson y M. Wenzel A Proof Assistant for Higher-Orden Logic. (Springer Verlag, 2005).

[ Inicial | Temas | Documentación | Sistemas ]