搜索页_Axiomatization

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

外文资源

内部出版物

Wiley电子期刊(3)	SpringerLink电子期刊(733)	Elsevier电子期刊(492)
Springer电子图书(5)	ProQuest学位论文(15)

在“SpringerLink电子期刊”中，命中：733条，耗时：0.0189915 秒

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

1. A simple framework for the axiomatization of exponential and quasi-hyperbolic discounting

作者： Nina Anchugina

关键词：Axiomatization ; Exponential discounting ; Quasi ; hyperbolic discounting ; Anscombe–Aumann model

刊名：Theory and Decision

出版年：2017

2. On Derivation and Evolutionary Classification of Social Dilemma Games

作者： Tadeusz Płatkowski

关键词：Social dilemmas ; Multiperson games ; Cooperation ; Replicator dynamics

刊名：Dynamic Games and Applications

出版年：2017

3. On strong standard completeness in some MTL \(_\Delta \) expansions

作者： Amanda Vidal ; Félix Bou ; Francesc Esteva ; Lluís Godo

关键词：Mathematical fuzzy logic ; Left ; continuous t ; norms ; Monoidal t ; norm logic ; Infinitary rules ; Standard completeness

刊名：Soft Computing

出版年：2017

4. SPTool – Equivalence Checker for \(\mathtt {SAND}\) Attack Trees

关键词：Attack trees ; Sequential operator ; Equivalence ; Rewriting ; Axiomatization ; Canonical form ; \(\mathtt {SAND}\) ; SPTool ; Maude

刊名：Lecture Notes in Computer Science

出版年：2017

5. Hilbert-Style Axiomatization for Hybrid XPath with Data

关键词：XPath ; Modal logic ; Hybrid logic ; Data tree ; Axiomatization

刊名：Lecture Notes in Computer Science

出版年：2016

6. Rationality, aggregate monotonicity and consistency in cooperative games: some (im)possibility results

作者： Pedro Calleja ; Francesc Llerena

刊名：Social Choice and Welfare

出版年：2017

7. Knowing Values and Public Inspection

关键词：Knowing what ; Bisimulation ; Public announcement logic

刊名：Lecture Notes in Computer Science

出版年：2017

8. The Topology of Full and Weak Belief

关键词：Topological models ; Epistemic and doxastic logic ; Updates ; Conditional beliefs ; (hereditarily) Extremally disconnected spaces

刊名：Lecture Notes in Computer Science

出版年：2017

9. Achieving While Maintaining:

刊名：Lecture Notes in Computer Science

出版年：2017

10. Implication and axiomatization of functional and constant constraints

作者： Jelle Hellings ; Marc Gyssens ; Jan Paredaens…

刊名：Annals of Mathematics and Artificial Intelligence

出版年：2016

1

2

3

4

5

6

7

8

9

按检索点细分(733)

题名(158)

关键词(131)

文摘(605)

按出版年细分(733)

2017年(8)

2016年(49)

2015年(51)

2014年(44)

2013年(58)

2012年(64)

2011年(22)

2010年(25)

2009年(33)

2008年(37)

2007年(63)

2006年(56)

2005年(54)

2004年(30)

2003年(20)

2002年(38)

2001年(28)

2000年(15)

2000年及以前(38)

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

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

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

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