LOGIC SIMULATION .2.

被引：0

|

作者：

BLUNDEN, DF

BOYCE, AH

TAYLOR, G

机构：

来源：

MARCONI REVIEW | 1977年 / 40卷 / 207期

关键词：

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

收藏

页码：236 / 253

页数：18

相关论文

共 50 条

[31] DESIGN FOR TEST OF DIGITAL LOGIC DEVICES - .2.
HURST, SL
ELECTRONIC ENGINEERING, 1986, 58 (710): : 59 - &
[32] AXIOM SYSTEMS OF ARISTOTLE TRADITIONAL LOGIC .2.
TANAKA, S
PROCEEDINGS OF THE JAPAN ACADEMY, 1967, 43 (03): : 194 - &
[33] PROOF THEORY FOR MINIMAL QUANTUM LOGIC .2.
NISHIMURA, H
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1994, 33 (07) : 1427 - 1443
[34] Comparative jurisprudence .2. The logic of legal transplants
Ewald, W
AMERICAN JOURNAL OF COMPARATIVE LAW, 1995, 43 (04): : 489 - 510
[35] COMMUNICATION AND LOGIC .2. AN EXPLANATION SKETCH OF MEANING
STEWART, DK
PSYCHOLOGICAL REPORTS, 1963, 13 (02) : 591 - 597
[36] HISTORY OF LOGIC - STAGES OF ITS DEVELOPMENT .2.
DUMITRIU, A
SCIENTIA, 1971, 106 (9-10): : 891 - &
[37] NAMING AND IDENTITY IN EPISTEMIC LOGIC .2. A FIRST-ORDER LOGIC FOR NAMING
GROVE, AJ
ARTIFICIAL INTELLIGENCE, 1995, 74 (02) : 311 - 350
[38] CONSTRUCTIVE LOGIC TOOLS .2. INTUITIONAL LOGIC AND CONSTRUCTIVE LOGICS OF PROGRAM SCHEMES
NEPEYVODA, NN
SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1989, 27 (03): : 81 - 93
[39] SIMULATION GAMES TODAY .2.
BOOCOCK, SS
EDUCATIONAL TECHNOLOGY, 1968, 8 (14) : 19 - 20
[40] SIMULATION LOGIC
Allwein, Gerard
Harrison, William L.
Andrews, David
LOGIC AND LOGICAL PHILOSOPHY, 2014, 23 (03) : 277 - 299

← 1 2 3 4 5 →