| Typ | Autor a název práce | Vedoucí | Rok | prog | disc |
|---|---|---|---|---|---|
| BP | Dominika Burešová: Algebraické a stavové vlastnosti kvantových logik (PDF) | Pták Pavel | 2023 | OI | Základy umělé inteligence a počítačových věd |
| Michal Hroch: Algebraické a mírově-teoretické vlastnosti struktur blízkých k Booleovým algebrám (PDF) | Pták Pavel | 2019 | Matematické inženýrství |
diploma
DEBUG: found in cache: