Artificial Intelligence Techniques: a comprehensive catalogue - Bundy, Alan. (Springer, 1996)
Includes bibliographical references & index.