搜索页_Algebraic+logic

读者指南

远程访问

科技查新

学术客户端

公务邮箱

NSTL服务站

外文资源

内部出版物

中国地质文献-英文(2)	Springer电子图书(14)	ProQuest学位论文(22)	Elsevier电子期刊(1227)
Wiley电子期刊(2)	SpringerLink电子期刊(1028)	NATURE电子期刊(10)	ACS电子期刊(3)

在“SpringerLink电子期刊”中，命中：1,028条，耗时：0.0109978 秒

在所有数据库中总计命中：2,308条

1. Constraint logic programming with a relational machine

作者： Emilio Jesús Gallego Arias ; James Lipton ; Julio Mariño

关键词：Logic programming ; Constraint programming ; Relation algebra ; Rewriting ; Semantics

刊名：Formal Aspects of Computing

出版年：2017

2. Minimally Many-Valued Extensions of the Monoidal t-Norm Based Logic MTL

关键词：Minimally many ; valued logics ; Almost minimal varieties ; MTL ; algebras ; Single chain generated varieties ; Booleanising formulas

刊名：Lecture Notes in Computer Science

出版年：2017

3. Density revisited

作者： George Metcalfe ; Constantine Tsinakis

关键词：Many ; valued logics ; Fuzzy logics ; Standard completeness ; Residuated lattices ; Semilinearity ; Density rule

刊名：Soft Computing

出版年：2017

4. An expansion of Basic Logic with fixed points

作者： Luca Spada

关键词：BL ; algebras ; Fixed points ; Storage operators

刊名：Soft Computing

出版年：2017

5. On Gödel Algebras of Concepts

关键词：Intended semantics ; Concept lattice ; Many ; valued logic ; FCA ; Formal concept analysis ; Fuzzy logic ; Gödel Logic

刊名：Lecture Notes in Computer Science

出版年：2017

6. Complexity of some language fragments of fuzzy logics

作者： Zuzana Haniková

刊名：Soft Computing

出版年：2017

7. Ruling out static latent homophily in citation networks

作者： Peter Wittek ; Sándor Darányi ; Gustaf Nelhans

关键词：Citation network ; Causal network ; Semidefinite programming ; Hidden variables ; Sum ; of ; squares decomposition

刊名：Scientometrics

出版年：2017

8. Sequences of Orthopairs Given by Refinements of Coverings

关键词：Orthopairs ; Forests ; Many ; valued algebraic structures ; Gödel algebras

刊名：Lecture Notes in Computer Science

出版年：2017

9. Constructing Natural Extensions of Propositional Logics

作者： Adam Přenosil

关键词：Abstract algebraic logic ; Consequence relations ; Propositional logic ; Natural extensions ; Transfer theorems

刊名：Studia Logica

出版年：2016

10. Expanding logic.com/appservices/search">\(\hbox {FL}_{ew}\) with a Boolean connective

作者： Rodolfo C. Ertola-Biraben ; Francesc Esteva ; Lluís Godo

刊名：Soft Computing

出版年：2017

1

2

3

4

5

6

7

8

9

按检索点细分(1028)

题名(92)

关键词(151)

文摘(757)

按出版年细分(1028)

2017年(9)

2016年(42)

2015年(70)

2014年(65)

2013年(61)

2012年(61)

2011年(30)

2010年(35)

2009年(56)

2008年(61)

2007年(96)

2006年(124)

2005年(92)

2004年(33)

2003年(23)

2002年(49)

2001年(34)

2000年(38)

2000年及以前(49)

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

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

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

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