|
|
|
|
| LEADER |
02676nam a22004935i 4500 |
| 001 |
978-3-642-20589-7 |
| 003 |
DE-He213 |
| 005 |
20170107144242.0 |
| 007 |
cr nn 008mamaa |
| 008 |
110419s2011 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783642205897
|9 978-3-642-20589-7
|
| 024 |
7 |
|
|a 10.1007/978-3-642-20589-7
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a Q334-342
|
| 050 |
|
4 |
|a TJ210.2-211.495
|
| 072 |
|
7 |
|a UYQ
|2 bicssc
|
| 072 |
|
7 |
|a TJFM1
|2 bicssc
|
| 072 |
|
7 |
|a COM004000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 006.3
|2 23
|
| 245 |
1 |
0 |
|a Applications of Declarative Programming and Knowledge Management
|h [electronic resource] :
|b 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers /
|c edited by Salvador Abreu, Dietmar Seipel.
|
| 264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 2011.
|
| 300 |
|
|
|a X, 239 p.
|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 6547
|
| 520 |
|
|
|a This 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 |
|a Computer science.
|
| 650 |
|
0 |
|a Computer programming.
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Artificial Intelligence (incl. Robotics).
|
| 650 |
2 |
4 |
|a Programming Techniques.
|
| 700 |
1 |
|
|a Abreu, Salvador.
|e editor.
|
| 700 |
1 |
|
|a Seipel, Dietmar.
|e editor.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783642205880
|
| 830 |
|
0 |
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 6547
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-20589-7
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
