IMPLEMENTING A META-LOGICAL SCHEME

被引：0

作者：

LIM, P ^{[1
]}

MORLEY, D ^{[1
]}

机构：

[1] AUSTRALIAN ARTIFICIAL INTELLIGENCE INST, CARLTON 3053, AUSTRALIA

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：106 / 120

页数：15

共 50 条

[21] Implementing logical inference based on DNA assembly
Huang, Yufang
Xu, Yong
BIOSYSTEMS, 2020, 198
[22] IMPLEMENTING LOGICAL SYNCHRONY IN INTEGRATED MODULAR AVIONICS
Miller, Steven P.
Cofer, Darren D.
Sha, Lui
Meseguer, Jose
Al-Nayeem, Abdullah
2009 IEEE/AIAA 28TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1-3, 2009, : 23 - +
[23] IMPLEMENTING LOGICAL VARIABLES ON A GRAPH REDUCTION ARCHITECTURE
LINDSTROM, G
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 279 : 382 - 400
[24] A METHOD FOR MINIMIZATION OF LOGICAL SCHEME OF AN ALGORITHM
LAZAREV, VG
AUTOMATION AND REMOTE CONTROL, 1965, 26 (10) : 1773 - &
[25] Logical optimization for meta queries
Matsumoto, W
Kashikawa, S
Miura, T
Shioya, I
COMPUTERS AND THEIR APPLICATIONS, 2001, : 433 - 436
[26] Meta Linear Logical Framework
McCreight, Andrew
Schuermann, Carsten
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 199 : 129 - 147
[27] ON A MULTIPLEXING SCHEME FOR THRESHOLD LOGICAL ELEMENTS
LIU, CL
LIU, JWS
INFORMATION AND CONTROL, 1965, 8 (03): : 282 - &
[28] LOGICAL SCHEME OF CHEMICAL-ANALYSIS
RIGIN, VI
JOURNAL OF ANALYTICAL CHEMISTRY OF THE USSR, 1978, 33 (02): : 318 - 319
[29] Implementing a Quantum Coin Scheme
Murray, Hazel
Horgan, Jerry
Santos, Joao F.
Malone, David
Siljak, Harun
2020 31ST IRISH SIGNALS AND SYSTEMS CONFERENCE (ISSC), 2020, : 135 - 141
[30] AN ABSTRACT SCHEME FOR A PARALLEL LOGICAL INFERENCE MACHINE
VAGIN, VN
VASILYEV, MYU
SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1989, 27 (02): : 18 - 25