Keyword:Digital Library

Publications
Audio Ontologies for Intangible Cultural Heritage Mary Ann Tan, Etienne Posthumus and Harald Sack EasyChair Preprint 7758
DDB-EDM to FaBiO: the Case of the German Digital Library Mary Ann Tan, Tabea Tietz, Oleksandra Bruns, Jonas Oppenlaender, Danilo Dessì and Harald Sack EasyChair Preprint 6324
Analysis on the Application of LoRa Technology in University Smart Library Juying Qiao EasyChair Preprint 3123
A Verified Theorem Prover Backend Supported by a Monotonic Library Vincent Rahli, Liron Cohen and Mark Bickford In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning