Number of the records: 1
Avtomatičeskoje obrazovanije gupotez
Title Avtomatičeskoje obrazovanije gupotez : matematičeskije osnovy obščej teorii Author Hájek Petr Co-authors Havránek T. Another authors Finn V. K. (Translator) Issue data Moskva : Nauka , 1984. - 277 s. Language rus - Russian Country RU - Russian Federation Copy count 1, currently available 0, at library only 1 Document kind monografie book
Call number Location Sublocation Info 23161 Ústav informatiky SAV In-Library Use Only
Number of the records: 1