sTeX+ - a System for Flexible Formalization of Linked Data

23 June 2010

Papers citing "sTeX+ - a System for Flexible Formalization of Linked Data"

2 / 2 papers shown

Title
Dimensions of Formality: A Case Study for MKM in Software Engineering A. Kohlhase M. Kohlhase Christoph Lange 81 13 0 28 Apr 2010
Publishing Math Lecture Notes as Linked Data Catalin David M. Kohlhase Christoph Lange Florian Rabe Nikita Zhiltsov Vyacheslav Zholudev 70 39 0 20 Apr 2010