Datalog Reloaded : First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers / edited by Oege de Moor, Georg Gottlob, Tim Furche, Andrew Sellers
(Lecture Notes in Computer Science. ISSN:03029743 ; 6702)
データ種別 | 電子ブック |
---|---|
著者標目 | Moor, Oege de editor Gottlob, Georg editor Furche, Tim editor Sellers, Andrew editor SpringerLink (Online service) |
出版者 | (Berlin, Heidelberg : Springer Berlin Heidelberg) |
出版年 | 2011 |
書誌詳細を非表示
巻次 | ISBN:9783642242069 |
---|---|
大きさ | VIII, 399 p. 52 illus : online resource |
一般注記 | 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 HTTP:URL=http://dx.doi.org/10.1007/978-3-642-24206-9 |
件 名 | LCSH:Computer science LCSH:Computer communication systems LCSH:Software engineering LCSH:Mathematical logic LCSH:Information storage and retrieval LCSH:Artificial intelligence FREE:Computer Science FREE:Information Systems Applications (incl. Internet) FREE:Computer Communication Networks FREE:Information Storage and Retrieval FREE:Artificial Intelligence (incl. Robotics) FREE:Software Engineering FREE:Mathematical Logic and Formal Languages |
分 類 | LCC:QA76.76.A65 DC23:005.7 |
書誌ID | OB00006878 |
ISBN | 9783642242069 |