2024年12月28日
星期六
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
搜索到
篇“
确定有限自动机
“的相关文章
资源类型:
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
排序方式:
相关度排序
被引量排序
时效性降序
时效性升序
相关作者
闵兰
作品数:23
被引量:214
H指数:6
供职机构:成都理工大学
研究主题:确定有限自动机 大学数学 教学 矩阵 命题逻辑
段振华
作品数:213
被引量:235
H指数:8
供职机构:西安电子科技大学
研究主题:时序逻辑 形式化验证 命题投影时序逻辑 投影时序逻辑 语句
刘益
作品数:15
被引量:20
H指数:3
供职机构:宜宾学院计算机与信息工程学院
研究主题:确定有限自动机 命题逻辑 逻辑 知识结构 XML模式
雷丽晖
作品数:8
被引量:84
H指数:5
供职机构:西安电子科技大学计算理论与技术研究所
研究主题:确定有限自动机 组合WEB服务 形式化验证 有限自动机 J2EE
董群峰
作品数:13
被引量:0
H指数:0
供职机构:中国科学技术大学
研究主题:TCAM 三态内容寻址存储器 匹配方法 有穷状态自动机 DFA
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张