Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings

Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings

Catuscia Palamidessi (ed.)

Berlin ; Tokyo : Springer, c2003

図書等

巻号情報

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

1

007.08-L49-2916

10003311718

一般図書

詳細情報

刊年

2003

形態

xii, 520 p. : ill. ; 24 cm

シリーズ名

Lecture notes in computer science ; 2916

注記

Includes bibliographical references and index

出版国

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

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

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

Palamidessi, Catuscia

分類

LCC:QA76.63

件名

Logic programming -- Congresses

Automatic theorem proving -- Congresses

ISBN

3540206426

NCID

BA65169215