TY - CONF AU - Scott Chase C2 - Proceedings of ACADIA (Association for Computer-Aided Design in Architecture) '96 Conference, Tucson, AZ DA - 1996-09-01 LA - en PB - Proceedings of ACADIA (Association for Computer-Aided Design in Architecture) '96 Conference, Tucson, AZ PY - 1996 TI - Design Modeling With Shape Algebras and Formal Logic UR - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=821068 ER -