-
2
-
-
44049095661
-
Workshop on important basal theories of intelligence science and technology
-
Important problems in intelligence science in Chinese, Report in
-
Shi Zhong-zhi: Important problems in intelligence science (in Chinese). Report in "Workshop on important basal theories of intelligence science and technology", http://www.intsci.ac.cn. (2004)
-
(2004)
-
-
Shi, Z.-Z.1
-
5
-
-
0001173931
-
An open logic system
-
in Chinese
-
Li Wei: An open logic system. SCIENTIA SINICA (Series A) (in Chinese), No. 10 (1992)
-
(1992)
SCIENTIA SINICA (Series A)
, Issue.10
-
-
Li Wei1
-
7
-
-
43949176584
-
-
Zhu Wujia, Xiao Xian: Proposition calculus system of medium logic (I), (II), (III) (in Chinese). Nature Journal, 8(4):315, 8(5):394, 8(6):473 (1985)
-
Zhu Wujia, Xiao Xian: Proposition calculus system of medium logic (I), (II), (III) (in Chinese). Nature Journal, 8(4):315, 8(5):394, 8(6):473 (1985)
-
-
-
-
8
-
-
44049090604
-
-
Xiao Xian, Zhu Wujia: Predicate Calculus System of Medium Logic (I), (II) (in Chinese). Nature Journal, 8(7):540, 8(8):601 (1985)
-
Xiao Xian, Zhu Wujia: Predicate Calculus System of Medium Logic (I), (II) (in Chinese). Nature Journal, 8(7):540, 8(8):601 (1985)
-
-
-
-
9
-
-
0024889481
-
On the reliability of the predicate calculus system (MF) of medium logic
-
China: University of Guangzhou
-
Pan Zheng-hua: On the reliability of the predicate calculus system (MF) of medium logic. In: Proc. of the 19'Th IEEE International Symposium on Multiple-Valued Logic, China: University of Guangzhou(1989) 64-69
-
(1989)
Proc. of the 19'Th IEEE International Symposium on Multiple-Valued Logic
, pp. 64-69
-
-
Pan, Z.-H.1
-
10
-
-
6344239168
-
-
Zheng-hua Pan, Wu-jia Zhu: An interpretation of infinite valued for medium proposition logic. In: Proc. of IEEE- Third International Conference on Machine Learning and Cybernetics, 4 of 7. China: Shanghai JiaoTong University (2004) 2495-2499
-
Zheng-hua Pan, Wu-jia Zhu: An interpretation of infinite valued for medium proposition logic. In: Proc. of IEEE- Third International Conference on Machine Learning and Cybernetics, Vol.4 of 7. China: Shanghai JiaoTong University (2004) 2495-2499
-
-
-
-
11
-
-
0035534397
-
The prospects for mathematical logic in the twenty first century
-
S. Buss, A. S. Kechris, etc.: The prospects for mathematical logic in the twenty first century. The Bulletin of Symbolic Logic, Vol.7, N.2 (2001) 169-196
-
(2001)
The Bulletin of Symbolic Logic
, vol.7
, Issue.2
, pp. 169-196
-
-
Buss, S.1
Kechris, A.S.2
-
12
-
-
33947286828
-
Modern Logic and its Role in the Study of Knowledge
-
Dale Jacquette, editor, Blackwell Publishers
-
A. Flach., Modern Logic and its Role in the Study of Knowledge, In: A Companion to Philosophical Logic, Dale Jacquette, editor, Blackwell Publishers, (2002) 680-693
-
(2002)
A Companion to Philosophical Logic
, pp. 680-693
-
-
Flach, A.1
|