TY - JOUR AU - Hájek, Petr AU - Havel, Ivan AU - Chytil, Metoděj TI - GUHA - metoda systematického vyhledávání hypotéz. II JO - Kybernetika PY - 1967 SP - 430 EP - 437 VL - 3 IS - 5 UR - http://geodesic.mathdoc.fr/item/KYB_1967_3_5_a1/ LA - cs ID - KYB_1967_3_5_a1 ER -