Conte aos seus amigos sobre este item:
Space in Weak Propositional Proof Systems Bonacina 1st ed. 2017 edition
Space in Weak Propositional Proof Systems
Bonacina
This book considers logical proof systems from the point of view of their space complexity.
130 pages, 8 Illustrations, color; 7 Illustrations, black and white; XVII, 130 p. 15 illus., 8 illus
| Mídia | Livros Book |
| Lançado | 24 de janeiro de 2018 |
| ISBN13 | 9783319734521 |
| Editoras | Springer International Publishing AG |
| Páginas | 130 |
| Dimensões | 150 × 220 × 20 mm · 390 g |
Ver tudo de Bonacina ( por exemplo Book )