%0 Journal Article
%A Havránek, Tomáš
%T Automatické formování hypotéz metodou GUHA - teorie a aplikace
%J Pokroky matematiky, fyziky a astronomie
%D 1981
%P 136-150
%V 26
%N 3
%U http://geodesic.mathdoc.fr/item/PMFA_1981_26_3_a1/
%G cs
%F PMFA_1981_26_3_a1