首 页
学术站点
知识要闻
国际动态
人 物
研招资料
会议中心
学术指南
基本典籍
课 件
必读书目
视听资料
知 识 库
所有栏目
学术站点
知识要闻
国际动态
人物
研招资料
会议中心
学术指南
基本典籍
课件
必读书目
知识库
所有学科
材料科学
动力与电气工程
电子科学与技术
机械工程
信息与通信工程
船舶与海洋工程
化学工程
控制科学与技术
兵器科学与技术
光学工程
计算机科学技术
航空、航天科学技术
核科学技术
标题
作者
关键词
摘要
正文
单位
网址
任意词
工学
>>>
计算机科学技术
>>>
计算机科学技术基础学科
人工智能
计算机系统结构
计算机软件
计算机工程
计算机应用
计算机科学技术其他学科
搜索结果:
1-1
共查到
“
计算机科学技术 对弈
”
相关记录1条 . 查询时间(0.075 秒)
基于符号化模型检测的
对弈
必胜策略验证
二值判定图
对弈
必胜策略
2009/7/17
在
对弈
的研究中,验证
对弈
双方是否存在必胜策略的问题一直没能很好地解决,因为这涉及到超大规模的状态空间搜索。而随着符号化模型检测技术的发展,大规模系统的验证成为了可能。给出了使用符号化模型检测来验证
对弈
必胜策略的一般方法,并给出了一个井字棋必胜策略验证的实例。
存档文本
存档附件
原文地址
文献传递
中国研究生教育排行榜
-
条
正在加载...
中国学术期刊排行榜
-
条
正在加载...
世界大学科研机构排行榜
-
条
正在加载...
中国大学排行榜
-
条
正在加载...
人 物
-
篇
正在加载...
课 件
-
篇
正在加载...
视听资料
-
篇
正在加载...
知识库
-
篇
正在加载...
研招资料
-
篇
正在加载...
知识要闻
-
篇
正在加载...
国际动态
-
篇
正在加载...
会议中心
-
篇
正在加载...
学术指南
-
篇
正在加载...
学术站点
-
篇
正在加载...