Ebooks d'Ilario Bonacina en PDF

1 Livre(s)
Télécharger le livre : Space in Weak Propositional Proof Systems
Ajouter à ma liste d'envies
Space in Weak Propositional Proof Systems
Ilario Bonacina
This book considers logical proof systems from the point of view of their space complexity. After an introduction to propositional proof complexity the author structures the book into three main parts. Part I contains two chapters on resolution, one containing results...

Editeur : Springer
Parution : 2018-01-11

PDF

52,74 €