The analysis and partial synthesis of truss structures via theorem proving

Show simple item record

dc.date.accessioned 2011-02-24T17:50:29Z
dc.date.available 2011-02-24T17:50:29Z
dc.date.issued 1990
dc.identifier.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.
dc.identifier.uri http://www.lib.ncsu.edu/resolver/1840.2/2342
dc.format.extent 6707833 bytes
dc.format.mimetype application/pdf
dc.language.iso en
dc.title The analysis and partial synthesis of truss structures via theorem proving
dc.type Article


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