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