%0 Conference Paper %1 journals/corr/abs-2010-16013 %A Ayala-Rincón, Mauricio %A de Lima, Thaynara Arielly %B ThEdu@IJCAR %D 2020 %E Quaresma, Pedro %E Neuper, Walther %E Marcos, João %K dblp %P 1-17 %T Teaching Interactive Proofs to Mathematicians. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs328.html#abs-2010-16013 %V 328

@inproceedings{journals/corr/abs-2010-16013, added-at = {2023-08-28T00:00:00.000+0200}, author = {Ayala-Rincón, Mauricio and de Lima, Thaynara Arielly}, biburl = {https://www.bibsonomy.org/bibtex/24ff730b48896108e68bd99bfca91abe9/dblp}, booktitle = {ThEdu@IJCAR}, crossref = {journals/corr/abs-2010-15832}, editor = {Quaresma, Pedro and Neuper, Walther and Marcos, João}, ee = {https://www.wikidata.org/entity/Q113691878}, interhash = {bf6839ea452d6fe437af85beec5e19ba}, intrahash = {4ff730b48896108e68bd99bfca91abe9}, keywords = {dblp}, pages = {1-17}, series = {EPTCS}, timestamp = {2024-04-09T09:29:44.000+0200}, title = {Teaching Interactive Proofs to Mathematicians.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs328.html#abs-2010-16013}, volume = 328, year = 2020 }