|
国家科技期刊平台
|
注册
中文
EN
首页
|
期刊导航
|
大连理工大学学报
|
《数理逻辑》智能CAI系统的研制
《数理逻辑》智能CAI系统的研制
李盘林
陈龙猛
李洋
大连理工大学学报
1996，Vol.36
Issue(3)：P.356-361,6.
下载
✕
大连理工大学学报
1996，Vol.36
Issue(3)
：P.356-361,6.
《数理逻辑》智能CAI系统的研制
李盘林
1
陈龙猛
1
李洋
1
作者信息
1.
大连理工大学计算机科学与工程系
折叠
摘要
关键词
人工智能
/
数理逻辑
/
知识表示
/
超文本
/
CAI
分类
社会科学
引用本文
复制引用
李盘林,陈龙猛,李洋..《数理逻辑》智能CAI系统的研制[J].大连理工大学学报,1996,36(3):P.356-361,6.
大连理工大学学报
OA
北大核心
CSCD
ISSN：
1000-8608
下载
访问量
0
|
下载量
0
段落导航
相关论文
摘要
关键词
分类
引用文本
