TY  - BOOK 
AU  - Frías Delgado, Antonio
A4  - Historia, Geografía y Filosofía
PY  - 1992
SN  - 84-7786-082-3
UR  - http://hdl.handle.net/10498/26633
AB  - El proyecto de controlar el razonamiento y reducirlo a una segura operación de cálculo cuenta ya con siglos; pero no cabe duda de que el desarrollo de los ordenadores le ha dado nuevos impulsos. En la actualidad el objetivo del razonamiento...
LA  - spa
PB  - Editorial UCA
TI  - Programas para deducción automatizada en lógica proposicional
ER  -