Proof Complexity Generators - London Mathematical Society Lecture Note Series - Krajicek, Jan (Charles University, Prague) - Livros - Cambridge University Press - 9781009611701 - 30 de junho de 2025
Caso a capa e o título não sejam correspondentes, considere o título como correto

Proof Complexity Generators - London Mathematical Society Lecture Note Series

Krajicek, Jan (Charles University, Prague)

Preço
€ 55,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 8 - 11 de jul de 2025
Adicione à sua lista de desejos do iMusic

Proof Complexity Generators - London Mathematical Society Lecture Note Series

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)
A ser lançado 30 de junho de 2025
ISBN13 9781009611701
Editoras Cambridge University Press
Páginas 143
Dimensões 320 g   (Peso (estimado))

Mostrar tudo

Mais por Krajicek, Jan (Charles University, Prague)