未找到相关数据
应用于人工智能的逻辑学
被引：2
作者：
Ｒ．特纳
蔡曙山
机构：
来源：
关键词：
直觉主义逻辑;
经典逻辑;
标准逻辑;
人工智能;
模态逻辑;
哲理逻辑;
非标准逻辑;
逻辑学家;
类型论;
时间逻辑;
D O I：
暂无
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ;
010105 ;
摘要：
引用
收藏
页码：41 / 50+20
+20
页数：11
相关论文