Number of the records: 1
Mechanizing Hypothesis Formation
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. Language eng - English Country DB Catal.org. SAVARCHE Copy count 1, currently available 0, at library only 1 
book
Call number Location Sublocation Info 16855 Pk M Archeologický ústav SAV In-Library Use Only
Number of the records: 1