Informace o publikaci

Unifikace v sortovaných rovnostních teoriích

Autoři

ŠMÍD Vladimír

Druh Článek ve sborníku
Citace
WWW http://www.fi.muni.cz/~smid/sofsem.html

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

Další info