Other formats:
BibTeX
LaTeX
RIS
@misc{931636, author = {Vaňáček, Jan and Zavrtal, Zdeněk and Stehlík, Marek and Mráková, Eva and Popelínský, Lubomír}, keywords = {animations; teaching logic; logic; Flash; elearning; deduction; inductive inference; tableaux}, language = {eng}, institution = {Masarykova univerzita}, organization = {Masarykova univerzita}, title = {Animations for teaching logic (software)}, url = {http://www.fi.muni.cz/kd/projects/animationsForLogic/}, year = {2010} }
TY - ID - 931636 AU - Vaňáček, Jan - Zavrtal, Zdeněk - Stehlík, Marek - Mráková, Eva - Popelínský, Lubomír PY - 2010 TI - Animations for teaching logic (software) KW - animations KW - teaching logic KW - logic KW - Flash KW - elearning KW - deduction KW - inductive inference KW - tableaux UR - http://www.fi.muni.cz/kd/projects/animationsForLogic/ N2 - Simple animated presentations, both interactive and non-interactive, that cover various fields of propositional, predicate and modal logic. The animations are implemented in Flash. ER -
VAŇÁČEK, Jan, Zdeněk ZAVRTAL, Marek STEHLÍK, Eva MRÁKOVÁ and Lubomír POPELÍNSKÝ. \textit{Animations for teaching logic (software)}. 2010.
|