|
P. Hájek, M. Hájková, T. Havránek and M. Daniel
|
The expert system shell EQUANT-PC: brief information
Volume 25 no. 7, 4-9, 1989 |
|
P. Hájek, P. Kalášek and P. Kůrka
|
On dynamic logic
Volume 16 no. 7, 1-41, 1980 |
| P. Hájek |
Automatic listing of important observational statements. III
Volume 10 no. 2, 95-124, 1974 |
|
P. Hájek and D. Harmancová
|
On generalized credence functions
Volume 9 no. 5, 343-356, 1973 |
| P. Hájek |
Automatic listing of important observational statements. II
Volume 9 no. 4, 251-271, 1973 |
| P. Hájek |
Automatic listing of important observational statements. I
Volume 9 no. 3, 187-205, 1973 |
|
P. Hájek, K. Bendová and Z. Renc
|
The GUHA method and the three-valued logic
Volume 7 no. 6, 421-435, 1971 |
| P. Hájek |
The problem of a general conception of the GUHA method
Volume 4 no. 6, 505-515, 1968 |
|
P. Hájek, I. Havel and M. Chytil
|
The GUHA method of systematical hypotheses searching. II
Volume 3 no. 5, 430-437, 1967 |
|
P. Hájek, I. Havel and M. Chytil
|
GUHA - the method of systematical hypotheses searching
Volume 2 no. 1, 31-47, 1966 |