Výsledky vyhľadávania
Názov Metoda GUHA : Automatická tvorba hypotéz Autor Hájek Petr Spoluautori Havránek Tomáš Chytil Metoděj K. Vyd.údaje Praha : Academia , 1983. - tab. Počet ex. 1, z toho voľných 0, prezenčne 1 Názov Mechanizing Hypothesis Formation : Mathematical Foundations for a General Theory Autor Hájek Petr Spoluautori Havránek Tomáš Vyd.údaje Berlin-Heidelberg-New York : Springer-Verlag , 1978. - 396s. Počet ex. 1, z toho voľných 0, prezenčne 1