Browsing by Author "Šmíd Ondřej"

Now showing items 1-1 of 1

    • Algoritmy pro jazyk výrokové logiky 

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