Interactive tactic-based program synthesis
Interactive tactic-based program synthesis
bakalářská práce (OBHÁJENO)
Zobrazit/
Trvalý odkaz
http://hdl.handle.net/20.500.11956/210687Identifikátory
SIS: 288766
Kolekce
- Kvalifikační práce [12373]
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Computer Science with specialisation in Foundations of Computer Science
Katedra / ústav / klinika
Katedra distribuovaných a spolehlivých systémů
Datum obhajoby
18. 6. 2026
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Angličtina
Známka
Výborně