Documentación para "Razonamiento automático" (2011-12)

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

Visiones generales del razonamiento automático

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

Cursos relacionados

1. José A. Alonso Lógica informática (Univ. de Sevilla, 2011-12).
2. Ian Hodkinson Logic (Imperial College, Londres, 2010-11).
3. Peter Lucas Knowledge Representation and Reasoning (Radboud University Nijmegen, 2011-12).
4. Larry Paulson Logic and Proof (Univ. de Cambridge, 2011-12).
5. Michael Winter Logic in Computer Science (Brock University, Ontario, Canada, 2010-11).

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