A formal approach to structural design automation using predicate logic

Simple item page
dc.date.accessioned2008-04-28T19:42:28Z
dc.date.available2008-04-28T19:42:28Z
dc.date.issued1989
dc.format.extent3590651 bytes
dc.format.mimetypeapplication/pdf
dc.identifier.citationLakmazaheri, 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.urihttp://www.lib.ncsu.edu/resolver/1840.2/701
dc.language.isoen
dc.titleA formal approach to structural design automation using predicate logic
dc.typeArticle

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
88 A Formal Approach to Structural Design Automation Using Predicate Logic.pdf
Size:
3.42 MB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.77 KB
Format:
Plain Text
Description:
Download

Collections

Publications