On Characteristics of Injective Representability Inference Relation

英 美
  • 单可表示类的特征
目录 查词历史