A formal approach for structural design using predicate logic

Show simple item record

dc.date.accessioned 2008-04-28T20:08:01Z
dc.date.available 2008-04-28T20:08:01Z
dc.date.issued 1990
dc.identifier.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.
dc.identifier.uri http://www.lib.ncsu.edu/resolver/1840.2/704
dc.format.extent 2921011 bytes
dc.format.mimetype application/pdf
dc.language.iso en
dc.title A formal approach for structural design using predicate logic
dc.type Article


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 simple item record