The analysis and partial synthesis of truss structures via theorem proving
No Thumbnail Available
Date
1990
Authors
Advisors
Journal Title
Series/Report No.
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
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.