Synopsis
A practical introduction to symbolic computing and denotational programming is offered in this book. The first part covers programming, and the 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.
"synopsis" may belong to another edition of this title.
Search results for Symbolic Computing with LISP and PROLOG
Stock Image
Symbolic Computing with LISP and PROLOG
Seller: Jenson Books Inc, Logan, UT, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Good. The item is in good condition and works perfectly, however it is showing some signs of previous ownership which could include: small tears, scuffing, notes, highlighting, gift inscriptions, and library markings. Seller Inventory # 4BQGBJ0117JE
Stock Image
Symbolic Computing with LISP and Prolog
Published by
Wiley & Sons, Incorporated, John, 1988
ISBN 10: 0471607711
ISBN 13: 9780471607717
Used
Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Used book that is in clean, average condition without any missing pages. Seller Inventory # 10488128-6
Seller Image
Symbolic Computing with LISP and PROLOG
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item for full refund. Ships via media mail. Seller Inventory # OTV.0471607711.G
Stock Image
Symbolic Computing With Lisp and Prolog
Seller: book-link, Nufringen, BW, Germany
Seller rating 5 out of 5 stars
paperback. Condition: Sehr gut. 480 Seiten; M25-07-N-44-VG Sprache: Deutsch Gewicht in Gramm: 1. Seller Inventory # 35263
Stock Image
Symbolic Computing With Lisp and Prolog
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 480 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 38554962/202