RETRPROV. A system that looks for axioms

被引：0

作者：

Biela, A.

Borowczyk, J.

机构：

来源：

Acta Informatica | / 33卷 / 08期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[41] VIBRODETECTION SYSTEM 'LOOKS' THROUGH BARNACLES.
Crohas, Henri
Bourguinon, Jean-Claude
Lepert, Philippe
Ocean industry, 1984, 19 (04): : 109 - 110
[42] How the system looks, so it runs well
不详
WOCHENBLATT FUR PAPIERFABRIKATION, 2012, 140 (06): : 390 - 391
[43] Pipe detection system looks good in tests
不详
PIPELINE & GAS JOURNAL, 2003, 230 (05) : 10 - 10
[44] New system looks at dealing with turbo lag
Woollenweber, WE
DIESEL PROGRESS NORTH AMERICAN EDITION, 1998, 64 (08): : 22 - +
[45] SYSTEM OF AXIOMS FOR BOOLEAN ALGEBRAS BASED ON 4 SIMPLE RELATIONS
GUTING, R
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (01): : 246 - &
[46] Development of mesoscopic polymer gripper system guided by precision design axioms
Chang, RJ
Wang, HS
Wang, YL
PRECISION ENGINEERING-JOURNAL OF THE INTERNATIONAL SOCIETIES FOR PRECISION ENGINEERING AND NANOTECHNOLOGY, 2003, 27 (04): : 362 - 369
[47] COMPATIBILITY OF QUINE INDIVIDUA EXISTENCE WITH SYSTEM OF AXIOMS OF BOURBAKI THEORY OF SETS
VAIL, VE
DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR, 1972, (04): : 294 - &
[48] The Dynamic Production Axioms and System Dynamics Behaviors: The Foundation for Future Integration
Warren K. Vaneman
Konstantinos Triantis
Journal of Productivity Analysis, 2003, 19 : 93 - 113
[49] Extensions of Solovay's system S without independent sets of axioms
Gorbunov, Igor
Shkatov, Dmitry
ANNALS OF PURE AND APPLIED LOGIC, 2024, 175 (01)
[50] The dynamic production axioms and system dynamics behaviors: The foundation for future integration
Vaneman, WK
Triantis, K
JOURNAL OF PRODUCTIVITY ANALYSIS, 2003, 19 (01) : 93 - 113

← 1 2 3 4 5 →