|
|
 |
| Результат поиска |
Поиск книг, содержащих: Conjunctive normal form (CNF)
| Книга | Страницы для поиска | | Aqaian S., Astola J., Egiazarian K. — Binary polynomial transforms and nonlinear digital filters | 94, 96, 112, 119, 231 | | Barwise J., Etchemendy J., Allwein G. — Language, Proof and Logic | 121—125, 479 | | Du D. (ed.), Pardalos P. (ed.) — Handbook of combinatorial optimization: supplement volume A | 386 | | Klerk de E. — Aspects of Semidefinite Programming | 212 | | Laird P.D. — Learning from good and bad data | 97, 171 | | Ding-Zhu D., Ker-I K. — Problem solving in automata, languages, and complexity | 342, see also "(k,$\ell$)-CNF" | | Enderton H.B. — A Mathematical Introduction to Logic | 53 | | Du D.-Z., Ko K.-I. — Theory of computational complexity | 7, 50, 72 |
|
|
|
|
О проекте