搜索页_03B22

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

常用资源

内部出版物

CNKI学位论文(5)

知网期刊论文(5)

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

在所有数据库中总计命中：10条

1.Modules over quantaloids: Applications to the isomorphism problem in algebraic logic and π-institutions

作者：Nikolaos Galatos^a ; ^{ngalatos@du.edu" class="auth_mail" title="E-mail the corresponding author} ; José ; Gil-Fé ; rez^b ; ^{gilferez@gmail.com" class="auth_mail" title="E-mail the corresponding author}

关键词：03B22 ; 03B70 ; 03G30 ; 06A15 ; 06F07 ; 18A15

刊名：Journal of Pure and Applied Algebra

出版年：2017

2.Corrigendum to “An order-theoretic analysis of interpretations among propositional deductive systems” [Ann. Pure Appl. Logic 164 (2) (2013) 112-130]

作者：Ciro Russo ^{ciro.russo@ufba.br" class="auth_mail" title="E-mail the corresponding author}

关键词：03G27 ; 06F07 ; 03B22 ; 03G10

刊名：Annals of Pure and Applied Logic

出版年：2016

3.A short proof of the induced Ramsey Theorem for hypergraphs

作者：Vindya Bhat ; ^{vbhat@cims.nyu.edu" class="auth_mail" title="E-mail the corresponding author} ; Vojtěch Rö ; dl

关键词：Induced Ramsey Theorem ; Hypergraph ; Partite lemma

刊名：Discrete Mathematics

出版年：2016

4.On unification and admissible rules in Gabbay-de Jongh logics

作者：Jeroen P. Goudsmit ; Rosalie Iemhoff

关键词：03B20 ; 03B22 ; 03B55 ; 03B70

刊名：Annals of Pure and Applied Logic

出版年：February, 2014

5.What is relevance logic?

作者：Arnon Avron

关键词：03B22 ; 03B47 ; 03B53 ; 03F52

刊名：Annals of Pure and Applied Logic

出版年：2014

6.Cantor theorem and friends, in logical form

作者：Silvio Valentini ^{silvio@math.unipd.it}

关键词：03B22 ; 03F40 ; 03F65

刊名：Annals of Pure and Applied Logic

出版年：2013

7.Canonical signed calculi with multi-ary quantifiers

作者：Anna Zamansky^a ; ^{annazam@gmail.com} ; Arnon Avron^b

关键词：03F03 ; 03B22

刊名：Annals of Pure and Applied Logic

出版年：2012

8.L₁ pattern matching lower bound

作者：Ohad Lipsky ; Ely Porat

关键词：Lower bound ; Pattern matching ; Analysis of algorithms ; Time series analysis

刊名：Information Processing Letters

出版年：2008

9.140 g H₂/kg biomass d.a.f. by a CO-shift reactor downstream from a FB biomass gasifier and a catalytic steam reformer

作者：José ; Corella ; Maria P. Aznar ; Miguel A. Caballero ; Gregorio Molina ; José ; M. Toledo

关键词：Thyroid nodule ; FNA cytology

刊名：International Journal of Hydrogen Energy

出版年：2008

10.-matrix methods for quadratic integral operators appearing in population balances

作者：Jü ; rgen Koch ; Wolfgang Hackbusch ; Kai Sundmacher

关键词：Population balance ; Disperse systems ; Population dynamics ; Breakage ; Agglomeration ; Aggregation ; Coagulation ; Coalescence ;

刊名：Computers and Chemical Engineering

出版年：2008

1

2

按检索点细分(18)

关键词(12)

文摘(6)

按出版年细分(18)

2027年及以后(1)

2017年(1)

2016年(2)

2014年(1)

2013年(1)

2012年(1)

2008年(3)

2006年(1)

2005年(1)

2004年(2)

2003年(1)

2002年(1)

2001年(1)

2000年及以前(1)

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

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

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

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