From the content: Heuristically Ordered Search in State Graphs.- Meta-Heuristics and Artificial Intelligence.- Automated Deduction.