Agent Based Mathematical Reasoning (1999)

by C Benzmuller, M Jamnik, M Kerber, V Sorge
Venue:In CALCULEMUS-99, Systems for Integrated Computation and Deduction