[Maths-Education] The July - August Proof Newsletter

Nicolas Balacheff Nicolas.Balacheff@imag.fr
Thu, 20 Jul 2000 12:36:06 +0200


In this issue more material about Artificial Intelligence and Education
The proceedings of the TSG12 at ICME9 (Proving)
And the forth and last contribution of Michael Otte on the them of 
Proof and Visualisation

                             http://www-cabri.imag.fr/Preuve

Have a good reading !
Contributions and comments are welcome
Nicolas