The analysis and partial synthesis of truss structures via theorem proving

Simple item page
dc.date.accessioned2011-02-24T17:50:29Z
dc.date.available2011-02-24T17:50:29Z
dc.date.issued1990
dc.format.extent6707833 bytes
dc.format.mimetypeapplication/pdf
dc.identifier.citationLakmazaheri, 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.urihttp://www.lib.ncsu.edu/resolver/1840.2/2342
dc.language.isoen
dc.titleThe analysis and partial synthesis of truss structures via theorem proving
dc.typeArticle

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
71 Analysis and Partial Synthesis of Truss Structures Via Theorem Proving.pdf
Size:
6.4 MB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.76 KB
Format:
Plain Text
Description:
Download

Collections

Publications