机构

• 软件研究所 [3]
• 计算技术研究所 [2]
• 自然科学史研究所 [1]

采集方式

• OAI收割 [6]

内容类型

• 期刊论文 [6]

发表日期

• 2018 [1]
• 2017 [1]
• 2015 [1]
• 2012 [1]
• 2010 [1]
• 2006 [1]
• 更多

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共6条，第1-6条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 20世纪30年代谢瓦莱对类域论的重建 期刊论文  OAI收割 自然科学史研究, 2018, 卷号: 37, 期号: 04, 页码: 485-498 作者:  阎晨光;  王涛   |  收藏  |  浏览/下载：19/0  |  提交时间：2022/07/18 代数数论  类域论  谢瓦莱  埃尔布朗  哈塞  伊代尔  布尔巴基   The B4-valued propositional logic with unary logical connectives ～1 /～2/┐ 期刊论文  OAI收割 中国计算机科学前沿：英文版, 2017, 卷号: 11.0, 期号: 005, 页码: 887 作者:  Li Wei;  Sui Yuefei   |  收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 命题逻辑  连接  演绎系统  布尔代数  三元   基于布尔语义的Gentzen推导模型 期刊论文  OAI收割 计算机科学与探索, 2015, 卷号: 9.0, 期号: 002, 页码: 221 作者:  陈博;  眭跃飞   |  收藏  |  浏览/下载：9/0  |  提交时间：2023/12/04 布尔代数  命题逻辑  不等式  完备性   一种布尔多项式的高效计算机表示 期刊论文  OAI收割 计算机研究与发展, 2012, 卷号: 49, 期号: 12, 页码: 2568-2574 李昕; 林东岱; 徐琳   |  收藏  |  浏览/下载：28/0  |  提交时间：2013/09/17 代数攻击  布尔多项式代表  布尔方程组求解  Gr(o)nber基  空间需求   几类旋转对称布尔函数的密码学性质 期刊论文  OAI收割 软件学报, 2010, 卷号: 21, 期号: 12, 页码: 3165-3174 孙光洪; 武传坤   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/05/23 布尔函数  对称布尔函数  旋转对称布尔函数  代数免疫阶  代数次数Algebra  Cryptography  Rotation   密码学中布尔函数的零化子 期刊论文  OAI收割 电子学报, 2006, 卷号: 34, 期号: 1 张文英; 武传坤; 于静之   |  收藏  |  浏览/下载：26/0  |  提交时间：2010/08/24 密码学  代数攻击  布尔函数的零化子