LIBROS DEL AUTOR: michael kohlhase

2 resultados para LIBROS DEL AUTOR: michael kohlhase

michael kohlhase Eliminar filtro Quitar filtros
  • OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
    Michael Kohlhase
    Open Mathematical Documents (OMDoc) is a content markup scheme for mathematical documents including articles, textbooks, interactive books, and courses. OMDoc also serves as the content language for agent communication of mathematical services and a mathematical software bus. This book documents OMDoc version 1.2, the final and mature release of OMDoc...
    Disponible

    65,50 €

  • Mathematical Knowledge Management
    Michael Kohlhase
    This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 38 submissions. The papers cover mathematical knowledge management. Topics range from foundations and t...
    Disponible

    65,67 €