Logic programming : 22nd international conference, ICLP 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings. : 4th federated logic conference, FLoC 2006 : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4079)

Logic programming : 22nd international conference, ICLP 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings. : 4th federated logic conference, FLoC 2006 : Aug 2006, Seattle, WA.

(Lecture Notes in Computer Science ; 4079)

国立国会図書館請求記号: M17-07-2102
国立国会図書館書誌ID: 000009080591

資料種別: 図書

著者: Association for Logic Programming.ほか

出版者: Springer

出版年: c2006.

資料形態: 紙

ページ数・大きさ等: xiv, 474 p. : ill. ; 24 cm.

NDC: -

すべて見る

資料に関する注記

一般注記：: Abstracts and selected papers."ICLP 2006 and its workshops were part of the 4th Federated Logic Conference, FLoC 2006." -- pref.

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別: 図書
ISBN: 3540366350
9783540366355 (ISBN-13)
ISSN（シリーズ）: 0302-9743
タイトル: Logic programming : 22nd international conference, ICLP 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings. : 4th federated logic conference, FLoC 2006 : Aug 2006, Seattle, WA.
シリーズタイトル: Lecture Notes in Computer Science ; 4079
著者標目: Association for Logic Programming.
Etalle, Sandro.
Truszczyński, Mirosław.
International Conference on Logic Programming (22nd : 2006 : Seattle, Wash.)
出版事項: Berlin : Springer
New York : Springer
出版年月日等: c2006.
出版年（W3CDTF）: 2006
数量: xiv, 474 p. : ill. ; 24 cm.
出版地（国名コード）: DE
本文の言語コード: eng
件名標目: Logic programming -- Congresses.
LCC: QA76.63
NDLC: M17
一般注記: Abstracts and selected papers.
"ICLP 2006 and its workshops were part of the 4th Federated Logic Conference, FLoC 2006." -- pref.
書誌注記: Includes bibliographical references and author index.
所蔵機関: 国立国会図書館
請求記号: M17-07-2102
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000009080591
http://id.ndl.go.jp/bib/000009080591
LC control number: 2006928658
https://lccn.loc.gov/2006928658
OCLC番号: 71192197
https://www.worldcat.org/oclc/71192197
整理区分コード: 215