共 37 条
- [7] Interpolation Theorems for Some Extended Description Logics KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT II: 15TH INTERNATIONAL CONFERENCE, KES 2011, 2011, 6882 : 246 - 255
- [9] SOME THEOREMS WITH SHORT PROOFS - PRELIMINARY REPORT NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (05): : 832 - &