Andrea Asperti & Bruno Buchberger
Mathematical Knowledge Management
Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003
Mathematical Knowledge Management
Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003