Tomás Havránek The Present State of the GUHA Software. [Citation Graph (0, 0)][DBLP] International Journal of Man-Machine Studies, 1981, v:15, n:3, pp:253-264 [Journal]
Tomás Havránek The GUHA Method in the Context of Data Analysis. [Citation Graph (0, 0)][DBLP] International Journal of Man-Machine Studies, 1981, v:15, n:3, pp:265-282 [Journal]
Tomás Havránek Formal Systems for Mechanized Statistical Inference. [Citation Graph (0, 0)][DBLP] International Journal of Man-Machine Studies, 1981, v:15, n:3, pp:333-350 [Journal]