"2"^^ . . . "Methodology of E-learning Adaptive Hypermedia System Implementation: Automated Verification of Adaptive Course Output" . "Metodika implementace adaptivniho e-learningoveho hypermedialniho systemu: automaticka kontrola vystupu adaptivniho kurzu"@cs . "Slovensk\u00E1 technick\u00E1 univerzita v Bratislave" . . . "Metodika implementace adaptivniho e-learningoveho hypermedialniho systemu: automaticka kontrola vystupu adaptivniho kurzu"@cs . . "Z(MSM6840770014)" . . "Adaptive Hypermedia; E-learning; Formal Description; Oriented Graph; Output Verification; Web"@en . . "Jel\u00EDnek, Ivan" . . "Methodology of E-learning Adaptive Hypermedia System Implementation: Automated Verification of Adaptive Course Output"@en . "2005-12-15+01:00"^^ . . . . . "[CDA115EC3FE2]" . "RIV/68407700:21230/05:03113322!RIV08-MSM-21230___" . . . . . "80-227-2336-3" . "Methodology of E-learning Adaptive Hypermedia System Implementation: Automated Verification of Adaptive Course Output"@en . "RIV/68407700:21230/05:03113322" . "21230" . "Methodology of E-learning Adaptive Hypermedia System Implementation: Automated Verification of Adaptive Course Output" . "Bratislava" . "Bratislava" . "174;179" . . "Bure\u0161, Miroslav" . . "Proceedings of 6th International Conference Virtual University VU'05" . "Paper describes formal algorithm for automated verification of adaptive course output."@en . . "2"^^ . . "529734" . "6"^^ . "Paper describes formal algorithm for automated verification of adaptive course output." . "Prispevek popisuje formalni algoritmus automaticke kontroly vystupu adaptivnho kurzu."@cs .