|
|
|
|
LEADER |
02652nam a22005895i 4500 |
001 |
978-3-642-24206-9 |
003 |
DE-He213 |
005 |
20151204181448.0 |
007 |
cr nn 008mamaa |
008 |
120127s2011 gw | s |||| 0|eng d |
020 |
|
|
|a 9783642242069
|9 978-3-642-24206-9
|
024 |
7 |
|
|a 10.1007/978-3-642-24206-9
|2 doi
|
040 |
|
|
|d GrThAP
|
050 |
|
4 |
|a QA76.76.A65
|
072 |
|
7 |
|a UNH
|2 bicssc
|
072 |
|
7 |
|a UDBD
|2 bicssc
|
072 |
|
7 |
|a COM032000
|2 bisacsh
|
082 |
0 |
4 |
|a 005.7
|2 23
|
245 |
1 |
0 |
|a Datalog Reloaded
|h [electronic resource] :
|b First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers /
|c edited by Oege de Moor, Georg Gottlob, Tim Furche, Andrew Sellers.
|
264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg,
|c 2011.
|
300 |
|
|
|a VIII, 399 p. 52 illus.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
490 |
1 |
|
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 6702
|
520 |
|
|
|a This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Datalog 2.0, held in Oxford, UK, in March 2010. The 22 revised full papers presented were carefully selected during two rounds of reviewing and improvements from numerous submissions. The papers showcase the state-of-the-art in theory and systems for datalog, divided in three sections: Properties, applications, and extensions of datalog.
|
650 |
|
0 |
|a Computer science.
|
650 |
|
0 |
|a Computer communication systems.
|
650 |
|
0 |
|a Software engineering.
|
650 |
|
0 |
|a Mathematical logic.
|
650 |
|
0 |
|a Information storage and retrieval.
|
650 |
|
0 |
|a Artificial intelligence.
|
650 |
1 |
4 |
|a Computer Science.
|
650 |
2 |
4 |
|a Information Systems Applications (incl. Internet).
|
650 |
2 |
4 |
|a Computer Communication Networks.
|
650 |
2 |
4 |
|a Information Storage and Retrieval.
|
650 |
2 |
4 |
|a Artificial Intelligence (incl. Robotics).
|
650 |
2 |
4 |
|a Software Engineering.
|
650 |
2 |
4 |
|a Mathematical Logic and Formal Languages.
|
700 |
1 |
|
|a Moor, Oege de.
|e editor.
|
700 |
1 |
|
|a Gottlob, Georg.
|e editor.
|
700 |
1 |
|
|a Furche, Tim.
|e editor.
|
700 |
1 |
|
|a Sellers, Andrew.
|e editor.
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer eBooks
|
776 |
0 |
8 |
|i Printed edition:
|z 9783642242052
|
830 |
|
0 |
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 6702
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-24206-9
|z Full Text via HEAL-Link
|
912 |
|
|
|a ZDB-2-SCS
|
912 |
|
|
|a ZDB-2-LNC
|
950 |
|
|
|a Computer Science (Springer-11645)
|