Logic-based 2D geometric modeling in a CAD environment von Lakmazaheri, Sivand

Volltext

A logic-based mechanism for integrity maintenance of engineering databases von LAKMAZAHERI, S

Volltext

Foundation for Research in Computing in Civil Engineering von Lakmazaheri, Sivand, Rasdorf, William

Volltext

Journal Readership Survey

Volltext

Linguistic Approach to 2D Geometric Modeling of Hierarchical Systems von Lakmazaheri, Sivand, Edwards, Patrick

Volltext

Logic-Based Approach for Modeling Organization of Design Standards von Rasdorf, William J, Lakmazaheri, Sivand

Volltext

An artifact modeling approach for developing integrated engineering systems von Lakmazaheri, Sivand, Rasdorf, William J.

Volltext

The analysis and partial synthesis of truss structures via theorem proving von LAKMAZAHERI, S, RASDORF, W. J

Volltext