Browsing by Author "Janáček, Marek"

Now showing items 1-2 of 2

Absolvování individuální odborné praxe

Janáček, Marek (Bakalářská práce, 2010)
Generování vzorů formulí pro skolemizaci

Janáček, Marek (Diplomová práce, 2012)