A textbook for a course of one or two semesters for students who have completed courses in discrete mathematics, including predicate calculus and introductory graph theory; and data structures, including trees, graphs, and recursion-based search, using stacks, queues, and priority queues. The first edition appeared in 1997; the forth acknowledges the growing importance of agent-based problem solving in artificial intelligence technology. Annotation c. Book News, Inc., Portland, OR (booknews.com)