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

PDF papers

Hits 1 to 1 of 1

# Author Citation Select
1. Manna, Zohare and Waldinger, Richard (1984) The Logical Basis for Computer Programming : Deductive Reasoning

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)

No more hits.

HOMELOGIN (you are user _anon_772778 from group guest) CUMINCAD Papers Powered by SciX Open Publishing Services 1.002