Conte aos seus amigos sobre este item:
Proof Complexity Generators - London Mathematical Society Lecture Note Series
Krajicek, Jan (Charles University, Prague)
Preço
R 1.080,14
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 12 - 19 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Proof Complexity Generators - London Mathematical Society Lecture Note Series
Krajicek, Jan (Charles University, Prague)
This book presents a state-of-the-art theory in the field of proof complexity, aiming to construct hard propositional tautologies needed to solve the P vs. NP problem in the negative. The theory is introduced step by step, starting with the historic background, and several potential new avenues of research are highlighted.
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 26 de junho de 2025 |
| ISBN13 | 9781009611701 |
| Editoras | Cambridge University Press |
| Páginas | 134 |
| Dimensões | 153 × 228 × 9 mm · 206 g |
Mostrar tudo
Mais por Krajicek, Jan (Charles University, Prague)
Ver tudo de Krajicek, Jan (Charles University, Prague) ( por exemplo Paperback Book e Hardcover Book )