共 5 条
- [1] COWAN JD, 1959, DISSERTATION
- [2] GARDNER M, 1958, LOG MACH DIAGR
- [3] MCCALLUM DM, 1951, ELECTRONIC ENGRG, V23, P126
- [4] ROSE A, 1958, P CAMBRIDGE PHIL SOC, V54, P307
- [5] VASWANI KT, 1960, DISSERTATION
A NEW TYPE OF COMPUTER FOR PROBLEMS IN PROPOSITIONAL LOGIC, WITH GREATLY REDUCED SCANNING PROCEDURES
被引：6
作者：
CHERRY, C
VASWANI, PKT
机构：
来源：
INFORMATION AND CONTROL
|
1961年
/
4卷
/
2-3期
关键词：
D O I：
10.1016/S0019-9958(61)80004-1
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：155 / &
相关论文