Mathematical Knowledge Management
Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18,2003,
Buchberger, Bruno / Harold Davenport, James
Erschienen am
01.11.2007
Beschreibung
Digitisation,Representation,andFormalisation (DigitalLibrariesofMathematics). 1 Andrew A. Adams MKMfromBooktoComputer:ACaseStudy.