| Type | Author and work title | Supervisor | Year | prog | disc |
|---|---|---|---|---|---|
| DP | Václav Kůla: Weighted Model Counter for Some Domain-Liftable Languages (PDF) | Tóth Jan | 2024 | OI | Umělá inteligence |
diploma
DEBUG: found in cache: