Digitisation, Representation and Formalisation: Digital Libraries of Mathematics (2003)

by A A Adams
Venue:In Mathematical Knowledge Management (MKM 2003), Feb. 16th - 18th, 2003, Bertinoro - Italy, LNCS 2594