| 000 | 02927nam a22005295i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-20589-7 | ||
| 003 | DE-He213 | ||
| 005 | 20240730193051.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 110419s2011 gw | s |||| 0|eng d | ||
| 020 |
_a9783642205897 _9978-3-642-20589-7 |
||
| 024 | 7 |
_a10.1007/978-3-642-20589-7 _2doi |
|
| 050 | 4 | _aQ334-342 | |
| 050 | 4 | _aTA347.A78 | |
| 072 | 7 |
_aUYQ _2bicssc |
|
| 072 | 7 |
_aCOM004000 _2bisacsh |
|
| 072 | 7 |
_aUYQ _2thema |
|
| 082 | 0 | 4 |
_a006.3 _223 |
| 245 | 1 | 0 |
_aApplications of Declarative Programming and Knowledge Management _h[electronic resource] : _b18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers / _cedited by Salvador Abreu, Dietmar Seipel. |
| 250 | _a1st ed. 2011. | ||
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2011. |
|
| 300 |
_aX, 239 p. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture Notes in Artificial Intelligence, _x2945-9141 ; _v6547 |
|
| 520 | _aThis book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009, held in Évora, Portugal, in November 2009. The 12 revised full papers presented together with 2 invited talks were carefully reviewed and selected during two rounds of reviewing and improvement. The conference comprehensively covers the impact of programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. The topics of the selected papers concentrate on three currently important fields: foundations and extensions of logic programming, databases and query languages, declarative programming with logic languages, and applications thereof. | ||
| 650 | 0 |
_aArtificial intelligence. _93407 |
|
| 650 | 0 |
_aComputer programming. _94169 |
|
| 650 | 1 | 4 |
_aArtificial Intelligence. _93407 |
| 650 | 2 | 4 |
_aProgramming Techniques. _9152309 |
| 700 | 1 |
_aAbreu, Salvador. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9152310 |
|
| 700 | 1 |
_aSeipel, Dietmar. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9152311 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9152312 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642205880 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642205903 |
| 830 | 0 |
_aLecture Notes in Artificial Intelligence, _x2945-9141 ; _v6547 _9152313 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-20589-7 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cELN | ||
| 999 |
_c94575 _d94575 |
||