Symbolic Computing With Lisp and Prolog

Mueller Robert, A. und L. Page Rex:

ISBN 10: 0471607711 / ISBN 13: 9780471607717

Published by John Wiley & Sons Inc, 1988

About this Item

480 Seiten; M25-07-N-44-VG Sprache: Deutsch Gewicht in Gramm: 1.

Seller Inventory # 35263

Bibliographic Details

• Title: Symbolic Computing With Lisp and Prolog
• Publisher: John Wiley & Sons Inc
• Publication Date: 1988
• Language: German
• ISBN 10: 0471607711
• ISBN 13: 9780471607717
• Binding: paperback
• Condition: Sehr gut
• Weight: 1 gram
• Seller catalogs:
  • Varia

About this title

Synopsis

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.