Space in Weak Propositional Proof Systems - Couverture souple

Bonacina, Ilario

Couverture souple

ISBN 10 : 3319734547 ISBN 13 : 9783319734545

Editeur : Springer, 2018

L'�dition de cet ISBN n'est malheureusement plus disponible.

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

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2018
Langue: anglais
ISBN 10: 3319734547
ISBN 13: 9783319734545
Reliure: Taschenbuch
Coordonn�es du fabricant: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne