TY -
GEN
AU - Borgwardt, Stefan
TI -
Concise Justifications Versus Detailed Proofs for Description Logic Entailments
PB - Technische Universität Dresden
PY - 2023
N2 - In: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa2-785040
BT - LTCS-Report ; 21-05
CY - Dresden
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -