| Type | Author and work title | Supervisor | Year | prog | disc |
|---|---|---|---|---|---|
| DP | Sacha Marek: Structuring and Reusing Knowledge in the Theorema System | Buchberger Bruno | 2011 | OI | Softwarové inženýrství a interakce |
diploma
DEBUG: found in cache: