Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 284)
Seznam prací
   Přihlásit přes CAS
  
                  
výsledků na stránku
seřadit sestupněseřadit vzestupněNázev práce seřadit sestupněseřadit vzestupněRok vypsání seřadit sestupněseřadit vzestupněRok obhájení Typ práce Obor práce seřadit sestupněseřadit vzestupněVedoucí / školitel seřadit sestupněseřadit vzestupněŘešitel seřadit sestupněseřadit vzestupněVypsáno Zadáno Ústav Fakulta
detail Formal proofs of the correctness of SAT algorithms 2018/2019 diplomová práce prof. RNDr. Jan Krajíček, DrSc.   01.03.2018 Ne Katedra algebry (32-KA) MFF
detail Problém spektra 2018/2019 bakalářská práce I, MAT, MMIB, MMIT, MOM prof. RNDr. Jan Krajíček, DrSc.   10.12.2018 Ne Katedra algebry (32-KA) MFF
detail Dosvědčování existenčních vět 2018/2019 diplomová práce prof. RNDr. Jan Krajíček, DrSc.   01.03.2018 Ne Katedra algebry (32-KA) MFF
Výsledky 1-3 z 3 1
 
Univerzita Karlova | Informační systém UK