TY  - BOOK
AU  - Hoffman,Frederick
AU  - Hoffman,Frederick
ED  - American Mathematical Society
TI  - Mathematical aspects of artificial intelligence: American Mathematical Society short course, January 8-9, 1996, Orlando, Florida 
T2  - Proceedings of symposia in applied mathematics
SN  - 0821806114 
U1  - 006.30151 22
PY  - 1998///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - INTELIGENCIA ARTIFICIAL
KW  - MATEMATICAS
KW  - CONGRESOS
N1  - Introduction and history-- Reasoning about time-- Orderings in automated theorem proving-- Programming with constraints: some aspects of the mathematical foundations-- The basics of computer vision-- Outsearching Kasparov-- Mathematical foundations for probability and causality
ER  -