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, with proposed solutions, followed by working programs using the techniques presented earlier in the text. Two programs, using a denotational approach, accompany each of the applications in symbolic computing--one in Lisp and one in Prolog.
Read More
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, with proposed solutions, followed by working programs using the techniques presented earlier in the text. Two programs, using a denotational approach, accompany each of the applications in symbolic computing--one in Lisp and one in Prolog.
Read Less
Add this copy of Symbolic Computing With Lisp and Prolog to cart. £50.80, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1988 by Wiley.
