机构

• 计算技术研究所 [3]
• 自动化研究所 [1]
• 文献情报中心 [1]

采集方式

• OAI收割 [5]

内容类型

• 期刊论文 [5]

发表日期

• 2022 [1]
• 2017 [1]
• 2015 [2]
• 1991 [1]

学科主题

• G316 [1]

筛选

浏览/检索结果: 共5条，第1-5条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 金字塔结构逻辑运用二值脉冲对简单图形处理 期刊论文  OAI收割 自动化学报, 2022, 卷号: 48, 期号: 2, 页码: 615-626 作者:  王上   |  收藏  |  浏览/下载：2/0  |  提交时间：2024/05/20 元胞自动机  金字塔结构  布尔逻辑  脉冲  延时继电器   The B4-valued propositional logic with unary logical connectives ～1 /～2/┐ 期刊论文  OAI收割 中国计算机科学前沿：英文版, 2017, 卷号: 11.0, 期号: 005, 页码: 887 作者:  Li Wei;  Sui Yuefei   |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04 命题逻辑  连接  演绎系统  布尔代数  三元   科研产出高峰期研究的现状与问题 期刊论文  OAI收割 图书情报工作, 2015, 卷号: 59, 期号: 5, 页码: 100-105 作者:  樊向伟;  肖仙桃 收藏  |  浏览/下载：44/0  |  提交时间：2015/06/02 科研产出高峰期  科研创造峰值  研究模型  威布尔分布  对数正态分布  逻辑多项式回归  两步认知模   基于布尔语义的Gentzen推导模型 期刊论文  OAI收割 计算机科学与探索, 2015, 卷号: 9.0, 期号: 002, 页码: 221 作者:  陈博;  眭跃飞   |  收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04 布尔代数  命题逻辑  不等式  完备性   逻辑自动综合中的时间优化 期刊论文  OAI收割 计算机学报, 1991, 卷号: 14.0, 期号: 011, 页码: 845 作者:  曾扬   |  收藏  |  浏览/下载：0/0  |  提交时间：2023/12/04 逻辑自动综合  控制  布尔方程  时间