A formal approach for structural design using predicate logic

Show full item record

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 PDF View/Open

This item appears in the following Collection(s)

Show full item record