Unifikace v sortovaných rovnostních teoriích

Autoři ŠMÍD Vladimír
Druh Článek ve sborníku
Citace Š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ů, 1989. s. 69-72.
WWW http://www.fi.muni.cz/~smid/sofsem.html
Klíčová slova

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info