Keyword:Digital Library

Papers
Audio Ontologies for Intangible Cultural Heritage Mary Ann Tan, Etienne Posthumus and Harald Sack EasyChair Preprint no. 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 no. 6324
Analysis on the Application of LoRa Technology in University Smart Library Juying Qiao EasyChair Preprint no. 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