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/ |
