Erfassung und Nachweis digitaler Kompetenzen (Collection and Proof of Digital Competences).

Michael Eichhorn Ralph Müller

Published in: DeLFI Workshops (2018)

Keyphrases

document collections
data sets
theorem prover
machine learning
video sequences
relational databases
database
theorem proving
linear logic
computer vision
e learning
case study
information retrieval systems
inference rules
digital media
digital curves
digital data
digital collections