Search results
Title Metoda GUHA : Automatická tvorba hypotéz Author Hájek Petr Co-authors Havránek Tomáš Chytil Metoděj K. Issue data Praha : Academia , 1983. - tab. Copy count 1, currently available 0, at library only 1 Title Mechanizing Hypothesis Formation : Mathematical Foundations for a General Theory Author Hájek Petr Co-authors Havránek Tomáš Issue data Berlin-Heidelberg-New York : Springer-Verlag , 1978. - 396s. Copy count 1, currently available 0, at library only 1