ŠMÍD, Vladimír. Unifikace v sortovaných rovnostních teoriích. In Sborník ze semináře LOP '89. Brno: Univerzita J.E.Purkyně., 1989, p. 55-64.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Unifikace v sortovaných rovnostních teoriích.
Authors ŠMÍD, Vladimír.
Edition Brno, Sborník ze semináře LOP '89. p. 55-64, 1989.
Publisher Univerzita J.E.Purkyně.
Other information
WWW URL
Organization unit Rector's Office
Changed by Changed by: RNDr. JUDr. Vladimír Šmíd, CSc., učo 1084. Changed: 8/9/2000 10:52.
PrintDisplayed: 28/4/2024 10:54