Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge
@proceedings{ASS-10-a, editor = {Serge Autexier and Petr Sojka and Masakazu Suzuki}, title = {Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge}, journal = {Journal Mathematics in Computer Science}, volume = {3}, type = {Special Issue}, number = {3}, series = {Journal Mathematics in Computer Science}, publisher = {Birkh\"auser Basel}, month = {may}, year = {2010}, }