"Razonamiento automático" (2004-05): Documentación

• 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?

[ Inicial | Temas | Documentación | Sistemas ]