常用资源电子图书期刊论文学位会议外文资源特色专题内部出版物 
SpringerLink电子期刊(142)ProQuest学位论文(4)Elsevier电子期刊(114)
在“SpringerLink电子期刊”中，命中：142条，耗时：小于0.01 秒

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

2. Hereditarily Finite Sets in Constructive Type Theory
刊名：Lecture Notes in Computer Science
出版年：2016
3. Axiomatization of a Branching Time Logic with Indistinguishability Relations
刊名：Journal of Philosophical Logic
出版年：2016
8. The bounded core for games with restricted cooperation
刊名：Automation and Remote Control
出版年：2016
9. Explanatory Relations Revisited: Links with Credibility-Limited Revision
刊名：Lecture Notes in Computer Science
出版年：2016
10. Fixed-Point Elimination in the Intuitionistic Propositional Calculus
刊名：Lecture Notes in Computer Science
出版年：2016
1
2
3
4
5
6
7
8
9
按检索点细分(142)
题名(11)
关键词(7)
文摘(117)
按出版年细分(142)
2017年(1)
2016年(13)
2015年(5)
2014年(5)
2013年(7)
2012年(13)
2011年(3)
2010年(6)
2009年(7)
2008年(4)
2007年(8)
2006年(8)
2005年(17)
2004年(11)
2003年(5)
2002年(5)
2001年(10)
2000年(1)
2000年及以前(13)

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

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

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