设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
馆藏书目(1)
CNKI会议论文(2)
CNKI期刊论文0611(1)
Springer电子图书(23)
CNKI学位论文(1464)
知网期刊论文(313)
在“
SpringerLink电子期刊
”中,
命中:
515
条,耗时:小于0.01 秒
在所有数据库中总计命中:
1,804
条
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.
On the interval of strong partial clones of Boolean functions containing Pol({(0, 0), (0, 1), (1, 0)})
作者:
Miguel Couceiro
;
Lucien Haddad
;
Karsten Schölzel
;
Tamás Waldhauser
关键词:
Key words and phrasesclone
;
partial clone
;
Boolean function
;
relational
clone
;
graph
刊名:
Algebra
universalis
出版年:2017
3.
Probabilistic Programs: Contextuality and
Relational
Database Theory
刊名:Lecture Notes in Computer Science
出版年:2017
4.
A 1NF temporal
relational
model and
algebra
coping with valid-time temporal indeterminacy
作者:
Luca Anselma
;
Luca Piovesan
;
Paolo Terenziani
关键词:
Relational
databases
;
Temporal data
;
Temporal indeterminacy
刊名:Journal of Intelligent Information Systems
出版年:2016
5.
Towards a UTP Semantics for Modelica
刊名:Lecture Notes in Computer Science
出版年:2017
6.
A
relational
description of higher commutators in Mal’cev varieties
作者:
Jakub Opršal
关键词:
Key words and phrasescommutator theory
;
Mal’cev
algebra
s
;
clone
刊名:
Algebra
Universalis
出版年:2016
7.
Orthogonal
relational
systems
作者:
Stefano Bonzio
;
Ivan Chajda
;
Antonio Ledda
关键词:
Relational
system
;
Orthogonal
relational
system
;
Orthogonal groupoid
;
Church variety
;
Central element
刊名:Soft Computing - A Fusion of Foundations, Methodologies and Applications
出版年:2016
8.
On the
relational
complexity of a finite permutation group
作者:
Gregory Cherlin
关键词:
Permutation group
;
Primitive
;
Affine
;
Binary
;
Relational
complexity
;
Simple group
;
Orthogonal group
;
Homogeneity
;
Finite model theory
刊名:Journal of
Algebra
ic Combinatorics
出版年:2016
9.
VDDA: automatic visualization-driven data aggregation in
relational
databases
作者:
Uwe Jugel
;
Zbigniew Jerzak
;
Gregor Hackenbroich
;
Volker Markl
关键词:
Relational
databases
;
Data aggregation
;
Visual aggregation
;
Dimensionality reduction
;
Data visualization
;
Line rasterization
;
Overplotting
刊名:The VLDB Journal
出版年:2016
10.
Building program construction and verification tools from
algebra
ic principles
作者:
Alasdair Armstrong
;
Victor B. F. Gomes
;
Georg Struth
关键词:
Program construction
;
Program verification
;
Semantics of imperative programs
;
Algebra
s of programs
;
Formalised mathematics
;
Interactive theorem proving
;
Automated theorem proving
刊名:Formal Aspects of Computing
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(515)
题名(40)
关键词(60)
文摘(428)
按出版年细分(515)
2017年(4)
2016年(24)
2015年(33)
2014年(31)
2013年(24)
2012年(43)
2011年(12)
2010年(17)
2009年(25)
2008年(39)
2007年(56)
2006年(76)
2005年(40)
2004年(19)
2003年(9)
2002年(23)
2001年(10)
2000年(2)
2000年及以前(28)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.