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