sTeXIIS: An Integrated Development Environment for sTeX Collections.

Constantin Jucovschi Michael Kohlhase

Published in: AISC/MKM/Calculemus (2010)

Keyphrases

information retrieval
data sets
metadata
data collections
data streams
document collections
artificial intelligence
cooperative
digital libraries
real world