论文降重
免费查重
推荐文章
FPGA 组合逻辑程序的 Petri 网建模方法
现场可编程门阵列
组合逻辑
Petri 网
建模方法
状态可达图
FPGA 组合逻辑程序的 Petri 网建模方法
现场可编程门阵列
组合逻辑
Petri 网
建模方法
状态可达图
约束逻辑程序的良基模型研究
正规逻辑程序
约束逻辑程序
回答集
最小不动点
良基模型
前缀幂集
描述逻辑程序系统的设计与实现
描述逻辑
逻辑程序
回答集
环公式
可满足性问题(SAT)
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
1989(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
逻辑程序
PETRI网
证法
解法
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
数理译丛
主办单位：
天津理工学院
出版周期：
半年刊
ISSN：
CN：
12-1143/N
开本：
出版地：
天津市南开区红旗南路王顶堤
邮发代号：
创刊时间：
语种：
出版文献量（篇）
108
总下载数（次）
0
总被引数（次）
0
期刊文献
相关文献
推荐文献
