Asperti, Andrea.
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Mathematical knowledge managementthird international conference, MKM 2004, Biaowieza, Poland, September 19-21, 2004 : proceedings /
by:
(1998 :); Asperti, Andrea.; Bancerek, Grzegorz.; SpringerLink (Online service); Trybulec, Andrzej.
(Electronic resources)
Mathematical knowledge managementsecond international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings /
by:
(1998 :); Asperti, Andrea.; Buchberger, Bruno.; Davenport, James Harold, (1953-); SpringerLink (Online service)
(Electronic resources)