Formalization of variables in algebraic high-level nets: comparison of different approaches. - Ermel, Claudia; Padberg, Julia (Berlin : Technische Universität Berlin, 1997)
Keywords: informatika; siete algebraické; monografie; monografie