确定性公理相关论文
本文的目的在于向国内同行介绍一种用于情报检索系统设计的新理论,虽然文章较长,但内容紧凑,对文献标引、标引语言及检索系统的性......
先介绍AC独立于ZF,然后研究AD、DCK、ACK和WK之间的关系。...