Ralf Küsters
editions X
1 Publications
Nonstandard inferences in description logics
the story so far
2006
in: Mathematical problems from applied logic I, Berlin,
1 Publications
1 Publications
the story so far
in: Mathematical problems from applied logic I, Berlin,
1 Publications