AUTOMATED DESIGN OF MULTIPLE-VALUED LOGIC-CIRCUITS BY AUTOMATIC THEOREM-PROVING TECHNIQUES

被引：0

作者：

WOJCIECHOWSKI, WS ^{[1
]}

WOJCIK, AS ^{[1
]}

机构：

[1] IIT,DEPT COMP SCI,CHICAGO,IL 60616

来源：

IEEE TRANSACTIONS ON COMPUTERS | 1983年 / 32卷 / 09期

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：785 / 798

页数：14

相关论文

共 36 条

[21] [No title captured]
[22] [No title captured]
[23] [No title captured]
[24] [No title captured]
[25] [No title captured]
[26] [No title captured]
[27] [No title captured]
[28] [No title captured]
[29] [No title captured]
[30] [No title captured]

← 1 2 3 4 →