Author: |
|
Robert A. Mueller
|
Title: |
|
Symbolic Computing With Lisp and Prolog |
Moochable copies: |
|
No copies available |
Amazon suggests: |
|
Topics: |
|
Published in: |
|
English |
Binding: |
|
Paperback |
Pages: |
|
469 |
Date: |
|
1988-11 |
ISBN: |
|
0471607711 |
Publisher: |
|
Wiley |
Weight: |
|
1.55 pounds |
Size: |
|
1.18 x 5.91 x 8.66 inches |
Edition: |
|
1 |
Amazon prices: |
|
|
Previous givers: |
|
1 WebsterViennaLibrary (Austria) |
Previous moochers: |
|
1 Isard Sabut (Spain) |
|
|
|
Description: |
|
Product Description
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.
|
URL: |
|
http://bookmooch.com/0471607711 |
|
|