科学、技术、工程和数学领域变革管理的工作流程

摘要：将变更管理扩展到半正式文档集合，并将其集成到数学知识的语义出版系统中的努力

作者：Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev

论文ID：1105.2392

分类：Digital Libraries

分类简称：cs.DL

提交时间：2011-05-13

PDF 下载： 英文版 中文版pdf翻译中