Documentación para "Razonamiento automático" (2010-11)

En esta página se recogen en enlaces que sirven de documentación a la asignatura de "Razonamiento automático".

Visión panorámica del razonamiento automático

• M. Davis. The early history of automated deduction
• D. MacKenzie Computers and the Sociology of Mathematical Proof
• G. Kolata. Computer math proof shows reasoning power (The New York Times, 10 de diciembre de 1996)
• G. Sutcliffe. What is automated theorem proving?

Tutoriales

• T. Nipkow, M. Wenzel y L.C. Paulson Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Springer-Verlag, 21 de Junio de 2010).
• Documentación de Isabelle/HOL.

Teorías formalizadas

• The Archive of Formal Proofs.

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