Výsledky vyhľadávania
- Hľadanie špeciálnych kvázigrúp pomocou SAT solverov
Paulinyová Veronika ; 035000 Vojvoda Milan ; 035000 (škol.)
Bratislava : STU v Bratislave FEI, 2022
FEI ; 01.07.2022 ; informatika ; B-API . - 47 s., príl.
https://opac.crzp.sk/?fn=detailBiblioFormChildAJEEJ&sid=A3900C45A119566172F3F09915B9&seo=CRZP-detail-kniha
bakalárska práca