Unifikace v sortovaných rovnostních teoriích.
Š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: 20. 4. 2024 11:33