Metoda GUHA : automatická tvorba hypotéz - Hájek, Petr, 1940-2016; Chytil, Metoděj; Havránek, Tomáš, 1947-1991 (Praha : Academia, 1983)
Obsahuje bibliografii a rejstřík
Keywords: hypotéza; matematické metody; monografie; hypothesis; mathematical methods; monographs