A formal approach to structural design automation using predicate logic

Show simple item record

dc.date.accessioned 2008-04-28T19:42:28Z
dc.date.available 2008-04-28T19:42:28Z
dc.date.issued 1989
dc.identifier.citation Lakmazaheri, S., & Rasdorf, W. J. (1989). A formal approach to structural design automation using predicate logic. In Design theory and methodology, DTM '89: Presented at the 1989 ASME Design Technical Conferences, 1st International Conference on Design Theory and Methodology, Montreal, Quebec, Canada, September 17-21, 1989. (pp. 259-266). Chicago, IL: American Society of Mechanical Engineers.
dc.identifier.uri http://www.lib.ncsu.edu/resolver/1840.2/701
dc.format.extent 3590651 bytes
dc.format.mimetype application/pdf
dc.language.iso en
dc.title A formal approach to structural design automation using predicate logic
dc.type Article


Files in this item

Files Size Format View
88 A Formal App ... Using Predicate Logic.pdf 3.424Mb PDF View/Open

This item appears in the following Collection(s)

Show simple item record