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

Skip to top bar Skip to header Skip to content Skip to footer

Publications Detailed Information on Publication Record

Detailed Information on Publication Record

1989

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

ŠMÍD, Vladimír

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

References:

URL

Organization unit

Rector's Office

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, p. 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, p.~55-64.