|
|
 |
| Результат поиска |
Поиск книг, содержащих: Quantified boolean formula
| Книга | Страницы для поиска | | Chagrov A., Zakharyaschev M. — Modal logic | 560 | | Sipser M. — Introduction to the theory of computation | 311 | | Hopcroft J.E., Motwani R., Ullman J.D. — Introduction to Automata Theory, Languages, and Computation | 479—487 | | Motwani R., Raghavan P. — Randomized algorithms | 191 | | Hein J.L. — Theory of Computation: An Introduction | 487 | | Hopcroft J.E., Ullman J.D. — Introduction to automata theory, languages, and computation | 343—346 | | Du D.-Z., Ko K.-I. — Theory of computational complexity | 95 | | Sipser M. — Introduction to the Theory of Computation | 284 |
|
|
|
|
О проекте