|
|
 |
| Результат поиска |
Поиск книг, содержащих: Satisfiability
| Книга | Страницы для поиска | | Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 852 | | Bach E., Shallit J. — Algorithmic Number Theory (том 1) | 48 | | Simpson S.G. — Mathematical Logic | 7, 22, 25, 27 | | Kanatani K. — Statistical Optimization for Geometric Computation: Theory and Practice | 50, 133 | | Niedermeier R. — Invitation to Fixed Parameter Algorithms | 13, 17, 20, 46, 266 | | Barwise J., Etchemendy J., Allwein G. — Language, Proof and Logic | 373, 469 | | Garey M.R., Johnson D.S. — Computers and intractability. A guide to the theory of NP-completeness | 13,38—44, 107, 169, 181, 259. | | Finch S.R. — Mathematical constants | 388 | | Purdom R.W., Brown C.A. — The analysis of algorithms | 172, 293, 427 | | Sedgewick R. — Algorithms | 529, 531—532 | | Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP | 110 | | Kneale M. — Development of Logic | 705 | | Luger G.F., Stubblefield W.A. — Artificial Intelligence: Structures and Strategies for Complex Problem Solving | 65—67 | | Koblitz N., Wu Y.-H., Menezes A.J. — Algebraic Aspects of Cryptography | 110 | | Knuth D.E. — The art of computer programming (vol. 3 Sorting and Searching) | 242 | | Papadimitriou C.H., Steiglitz K. — Combinatorial Optimization: Algorithms and Complexity | 314, 347, 350, 356—58, 377, 394, 400 | | Mitzenmacher M., Upfal E. — Probability and Computing: Randomized Algorithms and Probabilistic Analysis | 130, 142—146 | | Kozen D.C. — The Design And Analysis Of Algorithms | 111, 257 | | Smullyan R.M. — First-Order Logic | 11, 49 | | Koblitz N., Menezes A.J. (Contributor), Wu Y.-H. (Contributor) — Algebraic Aspects of Cryptography | 110 | | Lewis H.R., Papadimitriou C.H. — Elements of the Theory of Computation | 290—298, 301—304, 308—318 | | Gibbons A. — Algorithmic graph theory | 223 | | Gibbons A. — Algorithmic graph theory | 223 | | Spears W.M. — Evolutionary Algorithms. The Role of Mutation and Recombination | 21—28, 35, 200—201, 209 | | Drmota M., Flajolet P., Gardy D. — Mathematics and computer science 3. Algorithms, trees, combinatorics and probabilities | 507 | | Salzberg S., Searls D., Kasif S. — Computational methods in molecular biology | 265 | | Bruss D. (ed.), Leuchs G. (ed.) — Lectures on Quantum Information | 27 | | Meyer J.-J.Ch. — Epistemic Logic for AI and Computer Science (Cambridge Tracts in Theoretical Computer Science) | 222 |
|
|
|
|
О проекте