Mathematical methods in artificial intelligence - Bender, Edward A. 1942- (IEEE Computer Society Press, 1996)