Řešení a generování deterministických a nedeterministických logických úloh

• Main Author: Vyhlídal, Pavel (Dissertant)
• Other Authors: Šenkeřík, Roman (Thesis advisor)
• Format: Manuscript
• Language: Czech
• Published: 2013
• Subjects: logické úlohy; zebra puzzle; rekurze; brain teaser; recursion; diplomová práce
• Physical Description: 53 s.