CumInCAD is a Cumulative Index about publications in Computer Aided Architectural Design
supported by the sibling associations ACADIA, CAADRIA, eCAADe, SIGraDi, ASCAAD and CAAD futures

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 11:58
HOMELOGIN (you are user _anon_928440 from group guest) Works Powered by SciX Open Publishing Services 1.002