Beskrivelseslogik: Forskelle mellem versioner
Content deleted Content added
Alexbot (diskussion | bidrag) m robot Tilføjer: uk:Описова логіка |
m link |
||
Linje 1:
'''Beskrivelseslogik''' ([[engelsk]] ''Description logic'', [[Tysk (sprog)|tysk]] ''Beschreibungslogik'') er en variant af [[modallogik]], som anvendes til implementering af
== Litteratur ==
|