A formal approach for structural design using predicate logic
No Thumbnail Available
Date
1990
Authors
Advisors
Journal Title
Series/Report No.
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
Lakmazaheri, S., & Rasdorf, W. (1990). A formal approach for structural design using predicate logic. In Proceedings of the First International Workshop on Formal Methods in Engineering Design, Manufacturing, and Assembly. (pp. 247-259). Colorado Springs, CO: ASME.
