A Iordan, M Pănoiu, I Baciu,
CD Cunţan - WSEAS Transactions on …, 2010 - wseas.us
In this work will be presented the design of an intelligent system destined for development
process of demonstrating abilities for geometry theorems. This system will make available to …