Symbolic Computing with LISP and PROLOG by Robert A Mueller

  •
1 1

Symbolic Computing with LISP and PROLOG by Robert A Mueller

Checking stock...
Checking stock...
Zusammenfassung

This practical introduction to symbolic computing and denotational programming addresses such areas as game playing, language translation and theorem proving. Each section contains example problems, with proposed solutions, followed by programs which use the techniques presented in the text.

The feel-good place to buy books
  • Free delivery in the UK
  • Supporting authors with AuthorSHARE
  • 100% recyclable packaging
  • B Corp - kinder to people and planet
  • Buy-back with World of Books - Sell Your Books

Symbolic Computing with LISP and PROLOG by Robert A Mueller

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.

You might also like

SKU Nicht verfügbar
ISBN 13 9780471607717
ISBN 10 0471607711
Titel Symbolic Computing with LISP and PROLOG
Autor Robert A Mueller
Buchzustand Nicht verfügbar
Verlag John Wiley and Sons Ltd
Erscheinungsjahr 1988-11-25
Seitenanzahl 480
Hinweis auf dem Einband Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden.
Hinweis Nicht verfügbar