A formal approach to structural design automation using predicate logic
No Thumbnail Available
Date
1989
Authors
Advisors
Journal Title
Series/Report No.
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
Lakmazaheri, S., & Rasdorf, W. J. (1989). A formal approach to structural design automation using predicate logic. In Design theory and methodology, DTM '89: Presented at the 1989 ASME Design Technical Conferences, 1st International Conference on Design Theory and Methodology, Montreal, Quebec, Canada, September 17-21, 1989. (pp. 259-266). Chicago, IL: American Society of Mechanical Engineers.
