RETRPROV. A system that looks for axioms

被引：0

|

作者：

Biela, A.

Borowczyk, J.

机构：

来源：

Acta Informatica | / 33卷 / 08期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[31] AN INFINITY OF MUTUALLY INDEPENDENT INFINITE AXIOMS IN ZERMELOS SYSTEM
BOFFA, M
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1969, 268 (04): : 205 - &
[32] Typical valuation medium and a simplified system of axioms of L
He, YY
Wang, GJ
CHINESE SCIENCE BULLETIN, 1998, 43 (24): : 2101 - 2102
[33] Concerning a system of axioms for any system of propositions. Part I. Theorems of the first degree (Concerning the system of axioms of the smallest number of propositions and the idea of ideal elements)
Hertz, P
MATHEMATISCHE ANNALEN, 1922, 87 : 246 - 269
[34] An Elementary System of Axioms for Euclidean Geometry Based on Symmetry Principles
Culina, Boris
AXIOMATHES, 2018, 28 (02): : 155 - 180
[35] Study on allocating permissible pollutants discharge based on axioms system
Lin, Wei
Huanjing Kexue/Environmental Science, 1996, 17 (03):
[36] An Elementary System of Axioms for Euclidean Geometry Based on Symmetry Principles
Boris Čulina
Axiomathes, 2018, 28 : 155 - 180
[37] ADDITION OF WEAKENED L-REDUCTION AXIOMS TO THE BROUWER SYSTEM
BYRD, M
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1978, 24 (05): : 405 - 408
[38] ENGLAND LOOKS AT A HYBRID CONTINGENT FEE SYSTEM
DONIN, RB
AMERICAN BAR ASSOCIATION JOURNAL, 1978, 64 (MAY): : 773 - &
[39] A dynamic system theory looks at gender identity
Ma Chuan
INTERNATIONAL JOURNAL OF PSYCHOLOGY, 2008, 43 (3-4) : 738 - 738
[40] GENERAL AVIATION LOOKS AT ATC SYSTEM PLANNING
APPLEGARTH, AR
IEEE TRANSACTIONS ON COMMUNICATIONS, 1973, CO21 (05) : 522 - 524

← 1 2 3 4 5 →