登入選單

返回Google圖書搜尋

Symbolic Computing with LISP and PROLOG

Robert A. MuellerRex L. Page

出版	Wiley, 1988-11-25
主題	Computers / General
ISBN	04716077119780471607717
URL	http://books.google.com.hk/books?id=n8YmAAAAMAAJ&hl=&source=gbs_api

註釋

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.