Author: Hájková, Marie

Hájek, Petr; Hájková, Marie; Havránek, Tomáš; Daniel, Milan: The expert system shell EQUANT-PC: brief information. (English). Kybernetika, vol. 25 (1989), issue 7, pp. 4-9
Hájková, Marie: The lattice of bi-numerations of arithmetic. I. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 12 (1971), issue 1, pp. 81-104
Hájková, Marie: The lattice of bi-numerations of arithmetic. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 12 (1971), issue 2, pp. 281-306

Partner of