A formal approach for structural design using predicate logic
Title: | A formal approach for structural design using predicate logic |
Date: | 1990 |
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. |
URI: | http://www.lib.ncsu.edu/resolver/1840.2/704 |
Files in this item
Files | Size | Format | View |
---|---|---|---|
76 A Formal App ... Using Predicate Logic.pdf | 2.785Mb |
View/ |