Conference paper
QALD-3: Multilingual question answering over linked data
Elena Cabrio, Philipp Cimiano, et al.
CLEF 2013
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Quinn Pham, Danila Seliayeu, et al.
CASCON 2024
Raymond Wu, Jie Lu
ITA Conference 2007
Yvonne Anne Pignolet, Stefan Schmid, et al.
Discrete Mathematics and Theoretical Computer Science