1
Published 1988
Springer New York
... analysis, game playing, learning, planning, pattern recognition, robotics and theorem proving are some...