HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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