Mendeley出力
A survey of lower bounds for satisfiability and related problems / Dieter van Melkebeek
(Foundations and trends in theoretical computer science ; v. 2, issue 3)
| データ種別 | 図書 |
|---|---|
| 著者標目 | Melkebeek, Dieter van |
| 出版情報 | Hanover, Mass. : Now Publishers , c2007 |
書誌詳細を非表示
| 巻次 | ISBN:9781601980847 |
|---|---|
| 大きさ | ix, 114 p. : ill. ; 24 cm |
| 本文言語 | 英語 |
| 一般注記 | Includes bibliographical references: p. 111-114 |
| 書誌ID | 1000241318 |
| ISBN | 9781601980847 |
| NCID | BA91626802 |