|
1 |
Big data Heidelberg : Springer, 2013
|
|
|
2 |
Datalog reloaded Berlin : Springer, 2011
|
|
|
3 |
Finite model theory, databases, and computer aided verification Saarbrücken : Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes, 2000
|
|
|
4 |
Computer science logic Berlin : Springer, 1999
|
|
|
5 |
Computational logic and proof theory Berlin : Springer, 1997
|
|
|
6 |
Existential second-order logic over strings Eiter, Thomas. - Giessen : IFIG, 1997
|
|
|
7 |
Database theory Berlin : Springer, 1995
|
|
|
8 |
Computational logic and proof theory Berlin : Springer, 1993
|
|
|
9 |
Expert systems in engineering Berlin : Springer, 1990
|
|
|
10 |
Expertensysteme Wien : Springer, 1990
|
|