Prohlížení Bakalářské práce - 18102 dle autora "Šmíd Ondřej"

Zobrazují se záznamy 1-1 z 1

    • Algoritmy pro jazyk výrokové logiky 

      Autor: Šmíd Ondřej; Vedoucí práce: Starý Jan; Oponent práce: Trlifajová Kateřina
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)