Declarative programming and knowledge management : declarative programming days, KDPD 2013 : unifying INAP, WFLP, and WLP : Kiel, Germany, September 11-13, 2013 : revised selected papers : 20th international conference on applications of declarative programming and knowledge management : 22nd international workshop on functional and (constraint) logic programming : 27th workshop on logic programming : scientific forum of the annual meeting of the Society of Logic Programming (GLP e.V.) : WFLP/WLP conference : Sep 2013, Kiel, Germany.

• 資料種別: 図書
• ISBN: 9783319089089; 3319089080
• ISBN（エラーコード）: 9783319089096 (electronic bk.); 3319089099 (electronic bk.)
• ISSN（シリーズ）: 0302-9743
• タイトル: Declarative programming and knowledge management : declarative programming days, KDPD 2013 : unifying INAP, WFLP, and WLP : Kiel, Germany, September 11-13, 2013 : revised selected papers : 20th international conference on applications of declarative programming and knowledge management : 22nd international workshop on functional and (constraint) logic programming : 27th workshop on logic programming : scientific forum of the annual meeting of the Society of Logic Programming (GLP e.V.) : WFLP/WLP conference : Sep 2013, Kiel, Germany.
• シリーズタイトル: Lecture Notes in Computer Science ; 8439. Lecture Notes in Artificial Intelligence
• タイトル標目: Lecture notes in computer science ; 8439.; Lecture notes in computer science. Lecture notes in artificial intelligence.; LNCS sublibrary. SL 7, Artificial intelligence.
• 著者標目: KDPD (Conference) (2013 : Kiel, Germany); Hanus, Michael, 1959-; Rocha, Ricardo.; International Conference on Applications on Declarative Programming and Knowledge Management (20th : 2013 : Kiel, Germany); WFLP (Workshop) (22nd : 2013 : Kiel, Germany); Workshop on Logic Programming (27th : 2013 : Kiel, Germany)
• 出版事項: Cham : Springer (出版)
• 出版年月日等: [2014]; 著作権日付 : ©2014
• 出版年（W3CDTF）: 2014
• 数量: x, 249 pages
• 形態の詳細: illustrations
• 大きさ: 24 cm.
• 出版地（国名コード）: CH
• 本文の言語コード: eng
• ジャンル・形式用語: Conference proceedings.
• 表現種別: text
• 機器種別: unmediated
• キャリア種別: volume
• 件名標目: Knowledge management--Congresses.; Constraint programming (Computer science)--Congresses.; Declarative programming--Congresses.; Logic programming--Congresses.; Constraint programming (Computer science); Declarative programming.; Knowledge management.; Logic programming.
• NDLC: M17
• 対象利用者: 一般
• 一般注記: Revised selected papers.
• 書誌注記: Includes bibliographical references and author index.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-15-1672
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 026233332; http://id.ndl.go.jp/bib/026233332
• OCLC番号: 894832687; https://www.worldcat.org/oclc/894832687
• 目録規則: RDA
• 整理区分コード: 215