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
References

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) http://papers.cumincad.org/cgi-bin/works/Show?8dce

No more hits.

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