Logical Formalization of Design Process in CAD System

Jelínek, I.

JELÍNEK, I. Logical Formalization of Design Process in CAD System. In: CTU Seminar 94. CTU Seminar 94, Praha, 1994-01-17/1994-01-20. Praha: České vysoké učení technické v Praze, 1994. pp. 47-48.