Applying an $$ \mathcal{A}\mathcal{L}\mathcal{C} $$ ABox Consistency Tester to Modal Logic SAT Problems
about
Applying an $$ \mathcal{A}\mathcal{L}\mathcal{C} $$ ABox Consistency Tester to Modal Logic SAT Problems
description
wetenschappelijk artikel
@nl
наукова стаття, опублікована в 1999
@uk
name
Applying an $$ \mathcal{A}\mat ...... er to Modal Logic SAT Problems
@en
Applying an $$ \mathcal{A}\mat ...... er to Modal Logic SAT Problems
@nl
type
label
Applying an $$ \mathcal{A}\mat ...... er to Modal Logic SAT Problems
@en
Applying an $$ \mathcal{A}\mat ...... er to Modal Logic SAT Problems
@nl
prefLabel
Applying an $$ \mathcal{A}\mat ...... er to Modal Logic SAT Problems
@en
Applying an $$ \mathcal{A}\mat ...... er to Modal Logic SAT Problems
@nl
P356
P1476
Applying an $$ \mathcal{A}\mat ...... er to Modal Logic SAT Problems
@en
P2093
Volker Haarslev
P356
10.1007/3-540-48754-9_4
P407
P50
P577
1999-01-01T00:00:00Z