Author: Novák, Vilém

Novák, Vilém: An algorithm for reduction of complexity of relations in a system of variables. (English). Aplikace matematiky, vol. 22 (1977), issue 6, pp. 418-424

Partner of