000 02011nam a2200457 a 4500
005 20250919174653.0
006 m d
007 cr nn 008maaau
008 100623s2009 gw j eng d
020 _a9783642006753 (electronic bk.)
020 _a9783642006746 (paper)
035 _a(Springer)978-3-642-00674-6
039 9 _y06-23-2010
_zmuhaimin
050 1 4 _aQA76.615
_b.I57 2007
082 0 4 _a005.131
_222
090 _aQA76.615
_b.I61 2007
111 2 _aInternational Conference on Applications of Declarative Programming and Knowledge Management
_n(17th :
_d2007 :
_cWurzburg, Germany)
245 1 0 _aApplications of declarative programming and knowledge management
_h[electronic resource] :
_b17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007 ; revised selected papers /
_cedited by Dietmar Seipel, Michael Hanus, Armin Wolf.
260 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2009.
300 _ax, 252 p. :
_bill., digital ;
_c24 cm.
440 0 _aLecture notes in computer science,
_x0302-9743 ;
_v5437
650 0 _aDeclarative programming
_vCongresses.
650 0 _aConstraint programming (Computer science)
_vCongresses.
650 0 _aKnowledge management
_vCongresses.
650 0 _aData mining
_vCongresses.
650 1 4 _aComputer Science.
650 2 4 _aProgramming Techniques.
650 2 4 _aArtificial Intelligence (incl. Robotics)
700 1 _aSeipel, Dietmar.
700 1 _aHanus, Michael.
700 1 _aWolf, Armin.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
856 4 0 _uhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-00675-3
907 _a.b14744739
_b2024-11-29
_c2019-11-12
942 _n0
_kQA76.615 .I61 2007
914 _avtls003435390
998 _ae0001
_b2010-10-06
_cm
_da
_feng
_ggw
_y0
_z.b14744739
999 _c677956
_d677956