| authors |
Manna, Zohare and Waldinger, Richard |
| year |
1984 |
| title |
The Logical Basis for Computer Programming : Deductive Reasoning |
| source |
2 v. : ill Reading, Mass.: Addison-Wesley Pub. Co., 1984. vol.1: includes bibliography v.1 p.: [579]-581 and index. -- CADLINE has vol. 1 only. (Addison-Wesley Series in Computer Science) |
| summary |
An introduction to the basic notions of propositional and predicate logic and special theories including integers, strings, trees, lists, sets, and tuples (arrays). Algorithms are expressed not as explicit programs but as the definitions of functions and relations within these theories |
| keywords |
logic, programming, AI, reasoning |
| series |
CADline |
| references |
Content-type: text/plain
|
| last changed |
2003/06/02 13:58 |
|
