Interactive tactic-based program synthesis
Interactive tactic-based program synthesis
bachelor thesis (DEFENDED)
View/
Permanent link
http://hdl.handle.net/20.500.11956/210687Identifiers
Study Information System: 288766
Collections
- Kvalifikační práce [12377]
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
Computer Science with specialisation in Foundations of Computer Science
Department
Department of Distributed and Dependable Systems
Date of defense
18. 6. 2026
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
English
Grade
Excellent