HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2025 easychair.org. All rights reserved.