<?xml version="1.0" encoding="US-ASCII"?>
<dblp>
<article key="journals/tkl/CoboFPR07" mdate="2020-05-19">
<author>Pedro Cobo</author>
<author orcid="0000-0002-8231-346X">Josep M. Fortuny</author>
<author orcid="0000-0001-6292-6448">Eloi Puertas</author>
<author>Philippe R. Richard</author>
<title>AgentGeom: a multiagent system for pedagogical support in geometric proof problems.</title>
<pages>57-79</pages>
<year>2007</year>
<volume>12</volume>
<journal>Int. J. Comput. Math. Learn.</journal>
<number>1</number>
<ee>https://doi.org/10.1007/s10758-007-9111-5</ee>
<url>db/journals/tkl/tkl12.html#CoboFPR07</url>
</article></dblp>
