A formal approach for structural design using predicate logic

Show full item record

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



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)

• Scholarly Publications
  

Show full item record