Theory and applications of satisfiability testing : 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised papers

Theory and applications of satisfiability testing : 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised papers

Enrico Giunchiglia, Armando Tacchella (eds.)

Berlin : Springer, c2004

図書等

巻号情報

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

1

007.08-L49-2919

10004003409

一般図書

詳細情報

刊年

2004

形態

xi, 530 p. : ill. ; 24 cm

シリーズ名

Lecture notes in computer science ; 2919

注記

Includes bibliographical references and index

出版国

アメリカ合衆国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Giunchiglia, Enrico

Tacchella, Armando

International Conference on Theory and Applications of Satisfiability Testing [ SAT ]

分類

LCC:QA9.3

DC22:511.3

件名

Propositional calculus -- Congresses

Decision making -- Congresses

Computer algorithms -- Congresses

ISBN

3540208518

NCID

BA65603253