排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
本文证明了两种算术结构N;+,n2n,|2n及N;+,n2nlog2n中可定义乘法运算从而包含算术结构N;+,×及,而由于后者的不可判定性推导出前二者的不可判定性。 相似文献
1