TY  - BOOK
AU  - Bundy,Alan
TI  - The computer modelling of mathematical reasonign
SN  - 0-12-141250-4
AV  - QA76.95 B85
PY  - 1983///
CY  - London
PB  - Academic
KW  - Matemáticas
KW  - Procesamiento de datos
KW  - Lógica simbólica y matemática
KW  - Demostración automática de teoremas
ER  -