Please use this identifier to cite or link to this item:
|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.|
All items in this repository are protected by copyright, with all rights reserved.