CASYS
International Journal of Computing Anticipatory Systems
Márcia R. Notare, Júlio P. Machado, Tiarajú A. Diverio and Paulo Fernando Blauth Menezes
Knowledge Anticipation on Agents Relationship in the Geometry Proof System