Mathematical aspects of artificial intelligence : American Mathematical Society short course, January 8-9, 1996, Orlando, Florida - Hoffman, Frederick, 1937- (Proceedings of symposia in applied mathematics, 1998)