首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
LOGICAL-FOUNDATIONS OF ARTIFICIAL-INTELLIGENCE - GENESERETH,MR, NILSSON,NJ
被引:0
|
作者
:
MCDERMOTT, D
论文数:
0
引用数:
0
h-index:
0
MCDERMOTT, D
机构
:
来源
:
NATURE
|
1988年
/ 334卷
/ 6184期
关键词
:
D O I
:
10.1038/334658a0
中图分类号
:
O [数理科学和化学];
P [天文学、地球科学];
Q [生物科学];
N [自然科学总论];
学科分类号
:
07 ;
0710 ;
09 ;
摘要
:
引用
收藏
页码:658 / 658
页数:1
相关论文
共 27 条
[21]
THE ARTIFICIAL-INTELLIGENCE DEBATE - FALSE STARTS, REAL FOUNDATIONS - GRAUBARD,SR
WOOLGAR, S
论文数:
0
引用数:
0
h-index:
0
机构:
BRUNEL UNIV,CTR RES INNOVAT CULTURE & TECHNOL,UXBRIDGE UB8 3PH,MIDDX,ENGLAND
BRUNEL UNIV,CTR RES INNOVAT CULTURE & TECHNOL,UXBRIDGE UB8 3PH,MIDDX,ENGLAND
WOOLGAR, S
ISIS,
1990,
81
(306)
: 144
-
145
[22]
THE ARTIFICIAL-INTELLIGENCE DEBATE - FALSE STARTS, REAL FOUNDATIONS - GRAUBARD,SR
BODEN, MA
论文数:
0
引用数:
0
h-index:
0
BODEN, MA
NATURE,
1989,
337
(6209)
: 699
-
699
[23]
LOGICAL APPROACH TO ARTIFICIAL-INTELLIGENCE, VOL 2, FROM MODAL LOGIC TO DATABASE LOGIC - FRENCH - THAYSE,A
VANCLEEMPUT, V
论文数:
0
引用数:
0
h-index:
0
VANCLEEMPUT, V
REVUE INTERNATIONALE DE PHILOSOPHIE,
1990,
44
(172)
: 140
-
141
[24]
LOGICAL APPROACH TO ARTIFICIAL-INTELLIGENCE, VOL 1, FROM CLASSICAL-LOGIC TO PROGRAMMING - FRENCH - THAYSE,A
VANCLEEMPUT, V
论文数:
0
引用数:
0
h-index:
0
VANCLEEMPUT, V
REVUE INTERNATIONALE DE PHILOSOPHIE,
1990,
44
(172)
: 139
-
140
[25]
LOGICAL TOOLS FOR TIME PROCESSING - FROM LINGUISTICS TO ARTIFICIAL-INTELLIGENCE - FRENCH - BESTOUGEFF,H, LIGOZAT,G
DOMINICY, M
论文数:
0
引用数:
0
h-index:
0
DOMINICY, M
FRANCAIS MODERNE,
1991,
59
(01):
: 100
-
100
[26]
DEFINITION AND QUANTUM-CHEMICAL APPLICATIONS OF NESTED SUMMATION SYMBOLS AND LOGICAL FUNCTIONS - PEDAGOGICAL ARTIFICIAL-INTELLIGENCE DEVICES FOR FORMULAS WRITING, SEQUENTIAL PROGRAMMING AND AUTOMATIC PARALLEL IMPLEMENTATION
CARBO, R
论文数:
0
引用数:
0
h-index:
0
机构:
Institute of Computational Chemistry, University of Girona, Girona, 17071
CARBO, R
BESALU, E
论文数:
0
引用数:
0
h-index:
0
机构:
Institute of Computational Chemistry, University of Girona, Girona, 17071
BESALU, E
JOURNAL OF MATHEMATICAL CHEMISTRY,
1995,
18
(01)
: 37
-
72
[27]
THE QUINE-MCCLUSKEY MINIMIZATION ALGORITHM OF INDIVIDUAL MULTIPLE-VALUED LOGICAL FUNCTIONS FOR STRUCTURAL CLASSIFICATION OF INFORMATION AND ITS APPLICATIONS FOR 5TH-GENERATION COMPUTER-SYSTEMS AND ARTIFICIAL-INTELLIGENCE
PARTYKA, MA
论文数:
0
引用数:
0
h-index:
0
PARTYKA, MA
JOURNAL OF SYMBOLIC LOGIC,
1987,
52
(01)
: 335
-
335
←
1
2
3
→