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 - EP - 437 VL - 03 IS - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/KYB_1967__3_5_a1/ LA - cz ID - KYB_1967__3_5_a1 ER -