Subject Area: CS Basics (Logics, Discrete Mathematics)
in CIDEC Library.

### COMPUTATION AS LOGIC

Rene **LALEMENT**

(translated by John Plaice)
Series: **Prentice Hall international series in computer science**

**Publisher : **
Prentice Hall - Paris : Masson ; Hemel, Hempstead ; Englewood Cliffs, NJ

**Bibliographic : **

- Paperback
- ISBN: 0-13-770009-1
- August, 1993, © 1993
- xi, 387 p. : ill. ; 24 cm
- Dewey No.: 005.1 20

- Logic programming. * Functional programming (Computer science) * Logic, Symbolic and mathematical.
- Logic Programming

**DESCRIPTION: **
Logic plays an important role in the two areas of computer science;
reduction and resolution, respectively associated with functional
programming and logic programming.

KEY BENEFIT: This book
illustrates that logic is not only a language in which to accurately state facts
or knowledge (as in Artificial Intelligence) but also that programming itself
is a logical activity.

**CONTENTS: **

Includes bibliographical references (p. 370-377) and index.

Changed 20/01/1997. Comments: monika@cs.ioc.ee