• DML-CZ Home
• Kybernetika

Author: Hájek, Petr

• 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ájek, Petr; Kalášek, Pavel; Kůrka, Petr: O dynamické logice. (Czech) [On dynamic logic]. Kybernetika, vol. 16 (1980), issue 7, pp. (1),3-41
• Hájek, Petr: Automatic listing of important observational statements. III. (English). Kybernetika, vol. 10 (1974), issue 2, pp. (95)-124
• Hájek, Petr: Automatic listing of important observational statements. I. (English). Kybernetika, vol. 9 (1973), issue 3, pp. (187)-205
• Hájek, Petr: Automatic listing of important observational statements. II. (English). Kybernetika, vol. 9 (1973), issue 4, pp. (251)-271
• Hájek, Petr; Harmancová, Dagmar: On generalized credence functions. (English). Kybernetika, vol. 9 (1973), issue 5, pp. (343)-356
• Hájek, Petr; Bendová, Kamila; Renc, Zdeněk: The GUHA method and the three-valued logic. (English). Kybernetika, vol. 7 (1971), issue 6, pp. (421)-435
• Hájek, Petr: Problém obecného pojetí metody GUHA. (Czech) [The problem of a general conception of the GUHA method]. Kybernetika, vol. 4 (1968), issue 6, pp. (505)-515
• Hájek, Petr; Havel, Ivan; Chytil, Metoděj: GUHA - metoda systematického vyhledávání hypotéz. II. (Czech) [The GUHA method of systematical hypotheses searching. II]. Kybernetika, vol. 3 (1967), issue 5, pp. (430)-437
• Hájek, Petr; Havel, Ivan; Chytil, Metoděj: GUHA - metoda systematického vyhledávání hypotéz. (Czech) [GUHA - the method of systematical hypotheses searching]. Kybernetika, vol. 2 (1966), issue 1, pp. (31)-47