Š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ě. s. 55-64. 1989.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Unifikace v sortovaných rovnostních teoriích.
Autoři ŠMÍD, Vladimír.
Vydání Brno, Sborník ze semináře LOP '89. s. 55-64, 1989.
Nakladatel Univerzita J.E.Purkyně.
Další údaje
WWW URL
Organizační jednotka Rektorát
Změnil Změnil: RNDr. JUDr. Vladimír Šmíd, CSc., učo 1084. Změněno: 8. 9. 2000 10:52.
VytisknoutZobrazeno: 28. 3. 2024 20:36