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
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good- 469 pages; fading to spine. Very Good condition otherwise. No other noteworthy defects. No markings.; -We offer free returns for any reason and respond promptly to all inquiries. Your order will be packaged with care and ship on the same or next business day. Buy with confidence.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Used book in good and clean conditions. Pages and cover are intact. Limited notes marks and highlighting may be present. May show signs of normal shelf wear and bends on edges. Item may be missing CDs or access codes. May include library marks. Fast Shipping.