A formal approach to structural design automation using predicate logic

Show full item record

Title: A formal approach to structural design automation using predicate logic
Date: 1989
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.
URI: http://www.lib.ncsu.edu/resolver/1840.2/701


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