OMDoc » jomdoc » pubs

JOMDOC Publications

JOMDoc Publications

  • Soon: System Description. pdf
  • Michael Kohlhase, Christine Müller and Florian Rabe. Notations for Living Mathematical Documents. In Mathematical Knowledge Management, MKM'08, LNAI. Springer Verlag, 2008. in submission. pdf
© 2006 Copyrights KWARC. | XHTML 1.0 | CSS | Page generated from XML sources with the WSML package