RETRPROV. A system that looks for axioms

被引：0

|

作者：

Biela, A.

Borowczyk, J.

机构：

来源：

Acta Informatica | / 33卷 / 08期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[21] A SYSTEM OF AXIOMS FOR SEMIGROUPS COMPRISABLE BY GENERALIZED GROUPS
SHAIN, BM
DOKLADY AKADEMII NAUK SSSR, 1960, 134 (05): : 1030 - 1033
[22] System-on-a-chip: Not as easy as it looks
Haavind, R
SOLID STATE TECHNOLOGY, 2000, 43 (11) : 14 - 14
[23] A Solar System That Looks Like Home
Phil Berardelli
申江
当代外语研究, 2008, (04) : 4 - 5
[24] BLACK COMMUNITY LOOKS AT WELFARE SYSTEM
JOHNSON, CW
PUBLIC WELFARE, 1968, 26 (03): : 205 - 208
[25] A PATENT LAWYER LOOKS AT THE COPYRIGHT SYSTEM
LOVE, JT
BULLETIN OF THE COPYRIGHT SOCIETY OF THE USA, 1965, 13 (01): : 43 - 47
[26] BUSINESS LOOKS AT INTERNATIONAL MONETARY SYSTEM
HEIN, J
CONFERENCE BOARD RECORD, 1972, 9 (12): : 23 - 28
[27] Basic independence axioms for the publication-citation system
Rousseau, Ronald
Ye, Fred Y.
JOURNAL OF SCIENTOMETRIC RESEARCH, 2012, 1 (01): : 22 - 27
[28] SYSTEM OF AXIOMS FOR ARCHIMEDEAN THEORY OF EQUILIBRIUM AND CENTRE OF GRAVITY
SCHMIDT, O
CENTAURUS, 1975, 19 (01) : 1 - 35
[29] A CORRECT SYSTEM OF AXIOMS FOR A SYMMETRIC GENERALIZED TOPOLOGICAL GROUP
MOZZOCHI, CJ
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (02): : 428 - &
[30] Typical valuation medium and a simplified system of axioms of L
Science Bulletin, 1998, (24) : 2101 - 2102

← 1 2 3 4 5 →