Unifikace v sortovaných rovnostních teoriích

Základní údaje

Originální název Unifikace v sortovaných rovnostních teoriích
Autoři

Další údaje

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.
Originální název
Obor
WWW
Druh Článek ve sborníku
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