Řešení a generování deterministických a nedeterministických logických úloh - Vyhlídal, Pavel (2013)
Studijní obor: Informační technologie
Studijní obor: Information Technologies
Ústav: Ústav informatiky a umělé inteligence
Univerzita Tomáše Bati ve Zlíně. Fakulta aplikované informatiky
Tomas Bata University in Zlín. Faculty of Applied Informatics
Keywords: logické úlohy; zebra puzzle; rekurze; brain teaser; recursion; diplomová práce