Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings
Asperti, Andrea ; Buchberger, Bruno ; Davenport, James Harold Davenport, James Harold ; Buchberger, Bruno ; Asperti, Andrea
Berlin, Heidelberg: Springer Berlin Heidelberg 2003
Texto completo disponível