Symbolic Computing with LISP and PROLOG - Tapa blanda

Mueller, Robert A.; Page, Rex L.

 
9780471607717: Symbolic Computing with LISP and PROLOG

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.