伽罗瓦连接相关论文
形式概念分析，亦称概念格理论，是由德国数学家R.Wille于1982年提出的，是数据分析和知识处理的有效工具.随着知识发现的快速发展，它已经......
Domain理论起源于上个世纪六十年代末,主要研究偏序集上的序关系和拓扑结构，并成为函数式程序语言的指称语义.然而，随着计算机与网络......
