Hledat
Zobrazují se záznamy 1-1 z 1
Vícehodnotová koalgebraická logika, Many-valued Coalgebraic Logic
; Vedoucí práce: Bílková Marta; Oponent práce: Kurz Alexander (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-01-30)