
A practical introduction to symbolic computing and denotational programming. First part of the book covers programming. Second part addresses symbolic computing in such areas as game playing, language translation, and theorem proving. For each topic there are example problems,...