搜索页_Constructive+proof

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

外文资源

内部出版物

Wiley电子期刊(1)	SpringerLink电子期刊(624)	NATURE电子期刊(3)	Elsevier电子期刊(549)
Springer电子图书(4)	ProQuest学位论文(14)	GSW全文库(1)	ACS电子期刊(1)

在“SpringerLink电子期刊”中，命中：624条，耗时：小于0.01 秒

在所有数据库中总计命中：1,197条

1. A Rejoinder to Notes on a ‘Constructive Proof of the Existence of a Collateral Equilibrium’

作者： Wei Ma

关键词：Collateral equilibrium ; Constructive proof ; Path ; following algorithm ; Computability

刊名：Computational Economics

出版年：2017

2. Constructions of categories of setoids from proof-irrelevant families

作者： Erik Palmgren

关键词：Martin–Löf type theory ; Proof ; irrelevance ; Category

刊名：Archive for Mathematical Logic

出版年：2017

3. An induction principle over real numbers

作者： Assia Mahboubi

关键词：Open induction ; Bar induction ; Real numbers ; Constructive analysis

刊名：Archive for Mathematical Logic

出版年：2017

4. Derivation of a \(BC_n\) Elliptic Summation Formula via the Fundamental Invariants

作者： Masahiko Ito ; Masatoshi Noumi

关键词：\(BC_n\) ; elliptic summation formula ; Jackson integrals ; Fundamental invariants ; Interpolation functionsq ; Difference equations

刊名：Constructive Approximation

出版年：2017

5. Orthogonal Matching Pursuit Under the Restricted Isometry Property

作者： Albert Cohen ; Wolfgang Dahmen ; Ronald DeVore

关键词：Orthogonal matching pursuit ; Best n ; term approximation ; Instance optimality ; Restricted isometry property

刊名：Constructive Approximation

出版年：2017

6. Diffraction intensities of a class of binary Pisot substitutions via exponential sums

作者： Timo Spindeler

关键词：Exponential sums ; Diffraction intensities ; Pisot substitutions ; Quasicrystals

刊名：Monatshefte für Mathematik

出版年：2017

7. Quasi-Realization

关键词：Justification logic ; Modal logic ; Realization ; Quasi ; Realization ; Tableau ; Prolog

刊名：Lecture Notes in Computer Science

出版年：2017

8. Cutting planes from extended LP formulations

作者： Merve Bodur ; Sanjeeb Dash ; Oktay Günlük

刊名：Mathematical Programming

出版年：2017

9. Structuring Co-constructive Logic for Proofs and Refutations

作者： James Trafford

关键词：Constructive logic ; category theory ; topos ; intuitionistic ; co ; intuitionistic

刊名：Logica Universalis

出版年：2016

10. Deriving Natural Deduction Rules from Truth Tables

刊名：Lecture Notes in Computer Science

出版年：2017

1

2

3

4

5

6

7

8

9

按检索点细分(624)

题名(30)

关键词(18)

文摘(537)

按出版年细分(624)

2017年(9)

2016年(39)

2015年(36)

2014年(32)

2013年(38)

2012年(40)

2011年(11)

2010年(15)

2009年(36)

2008年(50)

2007年(54)

2006年(66)

2005年(48)

2004年(30)

2003年(31)

2002年(25)

2001年(8)

2000年(15)

2000年及以前(41)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700