TY - JOUR AU - Hájek, Petr AU - Havel, Ivan AU - Chytil, Metoděj TI - GUHA - metoda systematického vyhledávání hypotéz JO - Kybernetika PY - 1966 SP - 31 EP - 47 VL - 2 IS - 1 UR - http://geodesic.mathdoc.fr/item/KYB_1966_2_1_a2/ LA - cs ID - KYB_1966_2_1_a2 ER -