PROVING CONTRADICTIONS IN FORMAL-THEORIES .1.

被引：0

作者：

ROZONOER, LI

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：781 / 790

页数：10

共 50 条

[1] PROVING CONTRADICTIONS IN FORMAL-THEORIES .2.
ROZONOER, LI
AUTOMATION AND REMOTE CONTROL, 1983, 44 (07) : 908 - 914
[2] FORMAL-THEORIES ARE ACYCLIC
SARKARIA, KS
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (04): : 363 - 368
[3] NOTES ON FORMAL-THEORIES OF TRUTH
CANTINI, A
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (02): : 97 - 130
[4] MIRACLES IN FORMAL-THEORIES OF ACTION
LIFSCHITZ, V
RABINOV, A
ARTIFICIAL INTELLIGENCE, 1989, 38 (02) : 225 - 237
[5] FORMAL-THEORIES OF BELIEF REVISION
RAO, AS
FOO, NY
PROCEEDINGS OF THE FIRST CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 1989, : 369 - 380
[6] FORMAL-THEORIES OF KNOWLEDGE IN AI AND ROBOTICS
ROSENSCHEIN, SJ
NEW GENERATION COMPUTING, 1985, 3 (04) : 345 - 357
[7] PARTIAL FUNCTIONS IN CONSTRUCTIVE FORMAL-THEORIES
CONSTABLE, RL
LECTURE NOTES IN COMPUTER SCIENCE, 1982, 145 : 1 - 18
[8] ARE FORMAL-THEORIES NEEDED IN MARKETING GEOGRAPHY
HAMILL, L
PROFESSIONAL GEOGRAPHER, 1965, 17 (02): : 11 - 13
[9] FORMAL-THEORIES OF MASS BEHAVIOR - MCPHEE,WN
SOMERS, RH
AMERICAN JOURNAL OF SOCIOLOGY, 1964, 70 (01) : 98 - 99
[10] FORMAL-THEORIES OF MASS BEHAVIOR - MCPHEE,WN
DAVIS, KE
CONTEMPORARY PSYCHOLOGY-APA REVIEW OF BOOKS, 1964, 9 (05): : 222 - 223