|
|||||
|
|
PSpace Reasoning with the Description Logic ALCF(D) |
|
| Authors: | Lutz Carsten |
| Affiliation: | Institute for Theoretical Computer Science, Technical University Dresden, 01062 Dresden, Germany. E-mail: lutz{at}tcs.inf.tu-dresden.de |
| Abstract: | |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ | |