编辑配置文件（在新选项卡中打开） 陈一安 合著者距离 作者ID： 陈延安 发布日期： 陈一安 已编制索引的文档： 1出版物自2001年起 合著者： 1位合著者具有1联合出版物 22位合作作者 合著者 0 单作者的 1 Randal E.布莱恩特。 系列 字段 1 计算机科学（68至XX） 1 信息和通信理论，电路（94-XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用2中的次2文件 引用人▼ 年份▼ 使用二进制矩图验证算术电路。 Zbl 1002.68588号 Randal E.布莱恩特。;陈一安 2 2001 使用二进制矩图验证算术电路。 Zbl 1002.68588号 Randal E.布莱恩特。;陈一安 2 2001 3位作者引用 2 丹尼尔·考夫曼 1 阿明·比尔 1 曼纽尔·考尔斯 连载1篇 1 系统设计中的形式化方法 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文