RETRPROV. A system that looks for axioms

被引：0

|

作者：

Biela, A.

Borowczyk, J.

机构：

来源：

Acta Informatica | / 33卷 / 08期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[1] RETRPROV - A system that looks for axioms
Biela, A
Borowczyk, J
ACTA INFORMATICA, 1996, 33 (08) : 759 - 780
[2] A system of axioms for geometry
Veblen, Oswald
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1904, 5 (1-4) : 343 - 384
[3] Axioms of an experimental system
Harding, J
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1999, 38 (06) : 1643 - 1675
[4] Axioms of an Experimental System
John Harding
International Journal of Theoretical Physics, 1999, 38 : 1643 - 1675
[5] A SYSTEM OF AXIOMS FOR MEASURE OF UNCERTAINTY
ACZEL, JD
FORTE, B
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (01): : 202 - &
[6] Note on a system of axioms for geometry
Schweitzer, Arthur Richard
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1909, 10 (1-4) : 309 - 314
[7] A System of Axioms for Minkowski Spacetime
Cocco, Lorenzo
Babic, Joshua
JOURNAL OF PHILOSOPHICAL LOGIC, 2021, 50 (01) : 149 - 185
[8] ON A SYSTEM OF AXIOMS FOR THE POSITIVE NUMBERS
Leng Sen-ming (Department of Mathematics and Mechanics)
北京大学学报(自然科学), 1958, (01) : 39 - 40
[9] A System of Axioms for Minkowski Spacetime
Lorenzo Cocco
Joshua Babic
Journal of Philosophical Logic, 2021, 50 : 149 - 185
[10] A System of Axioms for Hyperbolic Geometry
Schutz, John W.
JOURNAL OF GEOMETRY, 2008, 90 (1-2) : 185 - 192

← 1 2 3 4 5 →