A GENERAL INTERPOLATION THEOREM .1.

被引：0

|

作者：

COTLAR, M

机构：

来源：

BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY | 1954年 / 60卷 / 02期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：145 / 145

页数：1

相关论文

共 50 条

[41] T-theorem proving .1.
Policriti, A
Schwartz, JT
JOURNAL OF SYMBOLIC COMPUTATION, 1995, 20 (03) : 315 - 342
[42] ON THE CASSELS-SCHMIDT THEOREM .1.
VOLKMANN, B
BULLETIN DES SCIENCES MATHEMATIQUES, 1984, 108 (03): : 321 - 336
[43] GENERALIZED NOETHERS THEOREM .1. THEORY
ROSEN, J
ANNALS OF PHYSICS, 1974, 82 (01) : 54 - 69
[44] EXTENSION OF KOOPMANS THEOREM .1. DERIVATION
SMITH, DW
DAY, OW
JOURNAL OF CHEMICAL PHYSICS, 1975, 62 (01) : 113 - 114
[45] NOTE ON SCHUTTES INTERPOLATION THEOREM
MOTOHASH.N
PROCEEDINGS OF THE JAPAN ACADEMY, 1972, 48 (02): : 56 - &
[46] On Interpolation in Automated Theorem Proving
Maria Paola Bonacina
Moa Johansson
Journal of Automated Reasoning, 2015, 54 : 69 - 97
[47] INTERPOLATION THEOREM FOR INDUCTIVE RELATIONS
KYBURG, HE
JOURNAL OF PHILOSOPHY, 1978, 75 (02) : 93 - 98
[48] AUTOMATIC THEOREM-PROVING .1.
VORONKOV, AA
DEGTYAREV, AI
CYBERNETICS, 1986, 22 (03): : 290 - 297
[49] RIGIDITY AND THE LOWER BOUND THEOREM .1.
KALAI, G
INVENTIONES MATHEMATICAE, 1987, 88 (01) : 125 - 151
[50] THE ABELIAN ANALOG OF THE LINDEMANN THEOREM .1.
WUSTHOLZ, G
INVENTIONES MATHEMATICAE, 1983, 72 (03) : 363 - 388

← 1 2 3 4 5 →