ŠMÍD, Vladimír. Unifikace v sortovaných rovnostních teoriích. In Sborník krátkých referátů ze semináře SOFSEM '89. Brno: Univerzita J.E.Purkyně, Jednota československých matematiků a fyziků. p. 69-72. 1989.
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 krátkých referátů ze semináře SOFSEM '89, p. 69-72, 1989.
Publisher Univerzita J.E.Purkyně, Jednota československých matematiků a fyziků
Other information
Type of outcome Proceedings paper
Confidentiality degree is not subject to a state or trade secret
WWW URL
Organization unit Rector's Office
Changed by Changed by: RNDr. JUDr. Vladimír Šmíd, CSc., učo 1084. Changed: 2/10/2002 14:10.
PrintDisplayed: 29/3/2024 14:26