The analysis and partial synthesis of truss structures via theorem proving

Show full item record

Title: The analysis and partial synthesis of truss structures via theorem proving
Date: 1990
Citation: Lakmazaheri, S. & Rasdorf, W. (1990). The analysis and partial synthesis of truss structures via theorem proving. International Journal of Engineering with Computers, 6(1), 31-45.
URI: http://www.lib.ncsu.edu/resolver/1840.2/2342


Files in this item

Files Size Format View
71 Analysis and ... es Via Theorem Proving.pdf 6.397Mb PDF View/Open

This item appears in the following Collection(s)

Show full item record