Please use this identifier to cite or link to this item:
http://www.lib.ncsu.edu/resolver/1840.2/704

File Description SizeFormat
76 A Formal Approach to Structural Design Using Predicate Logic.pdf2852KbAdobe PDFView/Open
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

All items in this repository are protected by copyright, with all rights reserved.