共 15 条
[1]
[Anonymous], 1994, MACHINE PROOFS GEOME, DOI DOI 10.1142/9789812798152
[3]
Coelho H., 1986, Journal of Automated Reasoning, V2, P329, DOI 10.1007/BF00248249
[5]
HUANG YQ, 2009, ENV SCI INFORM APPL, V3, P381
[8]
On the decidability and complexity of integrating ontologies and rules
[J].
JOURNAL OF WEB SEMANTICS,
2005, 3 (01)
:61-73
[9]
Tarski A., 1951, A Decision Method for Elementary Algebra and Geometry