Space in Weak Propositional Proof Systems - Tapa blanda

Bonacina, Ilario

 
9783319734545: Space in Weak Propositional Proof Systems
Tapa blanda
ISBN 10: 3319734547 ISBN 13: 9783319734545
Editorial: Springer, 2018

Esta edición ISBN ya no está disponible.

Sinopsis

Introduction.- Total Space in Resolution.- Space in Polynomial Calculus.- Space Lower Bounds: Applications.- A Postlude: SETH and Resolution Size.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2018
Idioma
Inglés
ISBN 10 
3319734547
ISBN 13 
9783319734545
Encuadernación
Taschenbuch
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9783319734521: Space in Weak Propositional Proof Systems

Edición Destacada

ISBN 10:  3319734520 ISBN 13:  9783319734521
Editorial: Springer, 2018
Tapa dura