Proof Complexity Generators - London Mathematical Society Lecture Note Series - Krajicek, Jan (Charles University, Prague) - Libros - Cambridge University Press - 9781009611701 - 26 de junio de 2025
En caso de que portada y título no coincidan, el título será el correcto

Krajicek, Jan (Charles University, Prague)
Proof Complexity Generators - London Mathematical Society Lecture Note Series

Precio
$ 60,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 15 - 25 de jun.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 26 de junio de 2025
ISBN13 9781009611701
Editores Cambridge University Press
Páginas 134
Dimensiones 153 × 228 × 9 mm   ·   206 g

Mas por Krajicek, Jan (Charles University, Prague)

Mostrar todo

Mere med samme udgiver

Ver todo de Krajicek, Jan (Charles University, Prague) ( Ej. Paperback Book y Hardcover Book )