Satisfiability / Donald E. Knuth
(The art of computer programming ; v. 4, fasc. 6)
データ種別 | 図書 |
---|---|
著者標目 | *Knuth, Donald Ervin, 1938- |
出版者 | Boston : Addison-Wesley |
出版年 | c2015 |
書誌詳細を非表示
巻次 | : pbk ; ISBN:9780134397603 |
---|---|
大きさ | viii, 310 p. ; 24 cm |
本文言語 | 英語 |
一般注記 | "This booklet is fascicle 6 of The art of computer programming, volume 4: Combinatorial algorithms."--Pref "Newly available sections of the classic work"--Cover Includes index |
件 名 | LCSH:Computer programming LCSH:Computer algorithms |
分 類 | LCC:QA76.6 DC22:005.1 |
書誌ID | 1000239601 |
ISBN | 9780134397603 |
NCID | BB20654124 |