Mathematical aspects of artificial intelligence : American Mathematical Society short course, January 8-9, 1996, Orlando, Florida /
Hoffman, Frederick, 1937-
Mathematical aspects of artificial intelligence : American Mathematical Society short course, January 8-9, 1996, Orlando, Florida / Frederick Hoffman, editor - xi, 275 páginas : ilustraciones - Proceedings of symposia in applied mathematics. v. 55. .
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
0821806114
INTELIGENCIA ARTIFICIAL--MATEMATICAS--CONGRESOS
006.30151 / M426
Mathematical aspects of artificial intelligence : American Mathematical Society short course, January 8-9, 1996, Orlando, Florida / Frederick Hoffman, editor - xi, 275 páginas : ilustraciones - Proceedings of symposia in applied mathematics. v. 55. .
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
0821806114
INTELIGENCIA ARTIFICIAL--MATEMATICAS--CONGRESOS
006.30151 / M426