% Encoding: UTF-8

@InProceedings{Andrade2013sbie,
  author    = {Jefferson Oliveira Andrade and Marta Canese},
  booktitle = {Proc. of the XXIV Simp\'osio Brasileiro de Inform\'atica na Educa\c c\~ao},
  title     = {Um Sistema Web Gamificado para a Aprendizagem de L\'ogica Formal},
  year      = {2013},
  address   = {Campinas, SP, Brasil},
  month     = nov,
  abstract  = {Formal logic plays a fundamental role in computer science. Unfortunately, 
it is observed that the effectiveness of the learning process of formal logic
has proved to be less than ideal. This work presents the $\exists$lementar 
system; a system that integrates a proof assistant in a gamified context, i.e., 
that uses game elements to promote student’s engagement and motivation. 
After introducing $\exists$lementar’s main features, this work presents 
preliminary data that point to an improvement in student’s performance 
indicators.},
}

@Comment{jabref-meta: databaseType:bibtex;}