Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings

Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings

Bart Demoen, Vladimir Lifschitz (eds.)

Berlin : Springer, c2004

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

007.08-L49-3132

10004017861

一般図書

詳細情報

刊年

2004

形態

xii, 480 p. : ill. ; 24 cm

シリーズ名

Lecture notes in computer science ; 3132

注記

Includes bibliographical references and index

出版国

ドイツ=ドイツ連邦共和国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

International Conference on Logic Programming [ Conference on Logic Programming, International ] [ ICLP ] [ International Conference, ICLP ]

Demoen, Bart

Lifschitz, Vladimir

分類

LCC:QA76.63

件名

Logic programming -- Congresses

Automatic theorem proving -- Congresses

ISBN

3540226710

NCID

BA68818609

番号

LCCN : 2004110708