Unifikace v sortovaných rovnostních teoriích.

Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Publikace Podrobný výpis o publikaci

Podrobný výpis o publikaci

1989

Unifikace v sortovaných rovnostních teoriích.

ŠMÍD, Vladimír

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

Odkazy

URL

Organizační jednotka

Rektorát

Změněno: 8. 9. 2000 10:52, RNDr. JUDr. Vladimír Šmíd, CSc.

Š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, s. 55-64.

ŠMÍD, Vladimír. Unifikace v sortovaných rovnostních teoriích. In \textit{Sborník ze semináře LOP '89.}. Brno: Univerzita J.E.Purkyně., 1989, s.~55-64.