Integrität dieses Dokuments

Isli, Amar

Bridging the gap between modal temporal logics and constraint-based QSR as an ALC(D) spatio-temporalisation with weakly cyclic TBoxes

M_311.pdf

Prüfsumme md5 Soll: 9dfde7b8be5eaba3bff60dde51637fed
Prüfsumme md5 Ist: 9dfde7b8be5eaba3bff60dde51637fed

Prüfsumme sha1 Soll: 29e9d6e90e9ae65ce9f4a84c27f6785e2a3e1b8b
Prüfsumme sha1 Ist: 29e9d6e90e9ae65ce9f4a84c27f6785e2a3e1b8b