首 页
学术站点
知识要闻
国际动态
人 物
研招资料
会议中心
学术指南
课 件
知 识 库
所有栏目
学术站点
知识要闻
国际动态
人物
研招资料
会议中心
学术指南
课件
知识库
所有学科
哲学
宗教学
政治学
教育学
劳动科学
工商管理
马克思主义
科学技术哲学
法学
社会学
人口学
心理学
法律法规
判决文书
理论经济学
世界经济学
文学
民族学
艺术学
历史学
体育科学
中国语言
理论语言学
应用语言学
数学
旅游学
统计学
外国语言
公共管理
北京人口
应用经济学
农林经济管理
新闻学与传播学
信息科学与系统科学
人力资源开发管理
标题
作者
关键词
摘要
正文
单位
网址
任意词
理学
>>>
数学
>>>
代数学
>>>
线性代数
群论
域论
李群
李代数
Kac-Moody代数
环论
模论
格论
泛代数理论
范畴论
同调代数
代数K理论
微分代数
代数编码理论
代数学其他学科
搜索结果:
1-1
共查到
“
代数学 5-HT
”
相关记录1条 . 查询时间(0.046 秒)
逻辑系统
Ht
中三-I算法的另一种证明
逻辑系统
三I算法
Ht系统
2009/7/1
在讨论
Ht
代数的一些性质的基础上,得到系统
Ht
中的三I算法的另一种证明。指出多值逻辑系统
Ht
中的三I算法是P还原算法,并解决了
Ht
中的FMT问题。在多值逻辑系统
Ht
中,若令t=1,则得到多值逻辑系统W。所以多值逻辑系统
Ht
中的结论在t=1的情况下就是多值逻辑系统W中的结论。
存档文本
存档附件
原文地址
文献传递
中国研究生教育排行榜
-
条
正在加载...
中国学术期刊排行榜
-
条
正在加载...
世界大学科研机构排行榜
-
条
正在加载...
中国大学排行榜
-
条
正在加载...
人 物
-
篇
正在加载...
课 件
-
篇
正在加载...
视听资料
-
篇
正在加载...
知识库
-
篇
正在加载...
研招资料
-
篇
正在加载...
知识要闻
-
篇
正在加载...
国际动态
-
篇
正在加载...
会议中心
-
篇
正在加载...
学术指南
-
篇
正在加载...
学术站点
-
篇
正在加载...