PROVING CONTRADICTIONS IN FORMAL-THEORIES .1.

被引：0

|

作者：

ROZONOER, LI

机构：

来源：

AUTOMATION AND REMOTE CONTROL | 1983年 / 44卷 / 06期

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：781 / 790

页数：10

相关论文

共 50 条

[41] FORMAL METHODS .1.
DEMAN, JA
MICROPROCESSING AND MICROPROGRAMMING, 1989, 27 (1-5): : 153 - 153
[42] COALITION THEORY AND CABINET FORMATION - A STUDY OF FORMAL-THEORIES OF COALITION-FORMATION APPLIED TO 9 EUROPEAN PARLIAMENTS AFTER 1918 - DESWAAN,A
LUEBBERT, GM
COMPARATIVE POLITICS, 1983, 15 (02) : 235 - 249
[43] Handling contradictions in default theories
Lin, Zhangang
Lin, Zuoquan
KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2007, 4798 : 556 - 561
[44] A formal method for proving programs correct
Chiang, CC
Neubart, D
2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 718 - 723
[45] ON FORMAL THEORIES
ONO, K
NAGOYA MATHEMATICAL JOURNAL, 1968, 32 (JUN) : 361 - &
[46] ADAPTATION, CONSISTENCY AND BEYOND .1. LIMITATIONS AND CONTRADICTIONS
WINGATE, ME
JOURNAL OF FLUENCY DISORDERS, 1986, 11 (01) : 1 - 36
[47] Dialectical Contradictions and Classical Formal Logic
Kazumi, Inoue
INTERNATIONAL STUDIES IN THE PHILOSOPHY OF SCIENCE, 2014, 28 (02) : 113 - 132
[48] THEOREM-PROVING FOR HIERARCHICAL 1ST-ORDER THEORIES
BACHMAIR, L
GANZINGER, H
WALDMANN, U
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 632 : 420 - 434
[49] COMPLETE COINDUCTIVE THEORIES .1.
LACHLAN, AH
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1990, 319 (01) : 209 - 241
[50] THEORIES OF FRICTION OF SOLIDS .1. REVIEW OF RECENT THEORIES
MAMOUN, MM
MECHANICAL ENGINEERING, 1975, 97 (07) : 94 - 94

← 1 2 3 4 5 →