eLogika – the system for teaching logic

@inproceedings{36644,
   author = {Menšík, Marek and DUŽÍ, Marie and GERLICH, Jakub},
   booktitle = {Frontiers in Artificial Intelligence and Applications},
   isbn = {978-1-61499-471-8},
   pages = {291-307},
   publisher = {IOS Press},
   title = {eLogika – the system for teaching logic},
   year = {2014}
}

TY  - JOUR
ID  - 36644
AU  - Menšík, Marek - DUŽÍ, Marie - GERLICH, Jakub
PY  - 2014
TI  - eLogika – the system for teaching logic
PB  - IOS Press
SN  - 9781614994718
ER  - 

MENŠÍK, Marek, Marie DUŽÍ and Jakub GERLICH. eLogika – the system for teaching logic. In \textit{Frontiers in Artificial Intelligence and Applications}. IOS Press, 2014, p.~291-307. ISBN~978-1-61499-471-8.