搜索页_+68T27

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

外文资源

内部出版物

SpringerLink电子期刊(29)

Elsevier电子期刊(17)

在“Elsevier电子期刊”中，命中：17条，耗时：0.0179949 秒

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

1.Reasoning about equilibria in game-like concurrent systems

作者：Julian Gutierrez ; ^{Julian.Gutierrez@cs.ox.ac.uk} ; Paul Harrenstein ; Michael Wooldridge

关键词：03B44 ; 03B70 ; 68T27 ; 91A40

刊名：Annals of Pure and Applied Logic

出版年：2017

2.Hybrid Answer Set Programming

作者：Alex Brik ; Jeffrey Remmel

关键词：68T27 ; 68T30 ; 03B70 ; 68N17

刊名：Annals of Pure and Applied Logic

出版年：2014

3.The logic of justified belief, explicit knowledge, and conclusive evidence

作者：Alex ; ru Baltag ; Bryan Renne ; Sonja Smets

关键词：03B42 ; 03B70 ; 68T27 ; 68T30

刊名：Annals of Pure and Applied Logic

出版年：2014

4.Observing, reporting, and deciding in networks of sentences

作者：H. Jerome Keisler ; Jeffrey M. Keisler

关键词：03C40 ; 03F07 ; 68T15 ; 68T27

刊名：Annals of Pure and Applied Logic

出版年：March, 2014

5.Unification and admissible rules for paraconsistent minimal Johanssons? logic J and positive intuitionistic logic

作者：Sergei Odintsov^b ; ¹ ; ^{odintsov@math.nsc.ru} ; Vladimir Rybakov^a ; ^c ; ^{V.Rybakov@mmu.ac.uk}

关键词：03B43 ; 03B70 ; 68T27 ; 68T15

刊名：Annals of Pure and Applied Logic

出版年：2013

6.Reducing belief simpliciter to degrees of belief

作者：Hannes Leitgeb

关键词：03A10 ; 03A05 ; 68T27 ; 60A05

刊名：Annals of Pure and Applied Logic

出版年：2013

7.Separating the basic logics of the basic recurrences

作者：Giorgi Japaridze ; ^{giorgi.japaridze@villanova.edu} ;

关键词：primary ; 03B47 ; secondary ; 03B70 ; 68Q10 ; 68T27

刊名：Annals of Pure and Applied Logic

出版年：2012

8.Outcome after Lung Transplantation Is Comparable between DCD and DBD

作者：D. Van Raemdonck¹ ; B. Vanaudenaerde² ; S. Verleden² ; D. Ruttens² ; R. Vos³ ; L. Dupont³ ; M. Delcroix³ ; W. Wuyts³ ; J. Yserbyt³ ; A. Neyrinck⁴ ; W. Coosemans¹ ; H. Decaluwé ; ¹ ; P. De Leyn¹ ; P. Nafteux¹ ; H. Van Veer¹ ; G.M. Verleden³

刊名：The Journal of Heart and Lung Transplantation

出版年：2013

9.ARVO-CL: The OpenCL version of the ARVO package ¡ª An efficient tool for computing the accessible surface area and the excluded volume of proteins via analytical equations

作者：J¨¢n Bu?a Jr. ; Shura Hayryan ; Ming-Chya Wu ; J¨¢n Bu?a ; Chin-Kun Hu

关键词：ARVO ; Proteins ; Solvent accessible area ; Excluded volume ; Stereographic projection ; OpenCL package

刊名：Computer Physics Communications

出版年：2012

10.Introduction to computability logic

作者：Japaridze ; Giorgi

关键词：primary 03B47 ; secondary 03F50 ; 03B70 ; 68Q10 ; 68T27 ; 68T30 ; 91A05 ; Computability logic ; Interactive computation ; Game semantics ; Linear logic ; Intuitionistic logic ; Knowledgebase

刊名：Annals of Pure and Applied Logic

出版年：2003

1

2

按检索点细分(17)

关键词(15)

文摘(2)

按出版年细分(17)

2027年及以后(1)

2017年(1)

2014年(2)

2013年(3)

2012年(2)

2004年(2)

2003年(2)

2002年(1)

2001年(1)

2000年及以前(2)

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

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

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

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