01704nam a22004457a 4500 000036255 CZ-PrVSE 20120903155749.0 001221s1983 xr a ||1|| cze | cnb000001195 (Váz.) (OCoLC)21373324 ABA006 cze ABA006 ABA006 cze xr 51 Matematika Konspekt 13 510 Mathematics Conspectus 13 165.151 MRF 51-7 MRF (048.8) MRF 51HÁJ Hájek, Petr, 1940-2016 jk01033078 aut Metoda GUHA : automatická tvorba hypotéz / Petr Hájek, Tomáš Havránek, Metoděj K. Chytil Praha : Academia, 1983 314 s. : il. Obsahuje bibliografii a rejstřík hypotéza ph349446 czenas matematické metody ph229474 czenas monografie fd132842 czenas hypothesis eczenas mathematical methods eczenas monographs eczenas Chytil, Metoděj jk01050487 aut Havránek, Tomáš, 1947-1991 jk01040443 aut 000839474 HPUVV A 6820-V1 N:P 4202127265 20071005 519.2HÁJ 81 UEP01 BOOK Knihovna FM JH volný výběr na 1 měsíc UEP01 PDPZ2 F153425a PC=4701/84 3142125438 20030807 51HÁJ 81 UEP01 BOOK Knihovna Žižkov depoz. 2 na 1 měsíc UEP01 20030918 PJMSK F153425b N:G; PC=857/83 3142258107 20120621 51HÁJ 81 UEP01 BOOK Knihovna JM - sklad na 1 měsíc UEP01 20120920