%0 Conference Paper %1 conf/paams/GalafassiGGVP17 %A Galafassi, Fabiane Flores Penteado %A Galafassi, Cristiano %A Gluz, João Carlos %A Vicari, Rosa Maria %A Peres, Rafael Koch %B PAAMS %D 2017 %E Demazeau, Yves %E Davidsson, Paul %E Bajo, Javier %E Vale, Zita A. %I Springer %K dblp %P 316-320 %T Heráclito: Learning Environment to Teach Logic. %U http://dblp.uni-trier.de/db/conf/paams/paams2017.html#GalafassiGGVP17 %V 10349 %@ 978-3-319-59930-4

@inproceedings{conf/paams/GalafassiGGVP17, added-at = {2017-06-08T00:00:00.000+0200}, author = {Galafassi, Fabiane Flores Penteado and Galafassi, Cristiano and Gluz, João Carlos and Vicari, Rosa Maria and Peres, Rafael Koch}, biburl = {https://www.bibsonomy.org/bibtex/20fc632885f31a23315e3808cbffdd506/dblp}, booktitle = {PAAMS}, crossref = {conf/paams/2017}, editor = {Demazeau, Yves and Davidsson, Paul and Bajo, Javier and Vale, Zita A.}, ee = {https://doi.org/10.1007/978-3-319-59930-4_28}, interhash = {31c141605823890fe66f09f0dfca8bb7}, intrahash = {0fc632885f31a23315e3808cbffdd506}, isbn = {978-3-319-59930-4}, keywords = {dblp}, pages = {316-320}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-06-14T11:39:54.000+0200}, title = {Heráclito: Learning Environment to Teach Logic.}, url = {http://dblp.uni-trier.de/db/conf/paams/paams2017.html#GalafassiGGVP17}, volume = 10349, year = 2017 }