Powiedz znajomym o tym przedmiocie:
Space in Weak Propositional Proof Systems 1st ed. 2017 edition
Bonacina
Space in Weak Propositional Proof Systems 1st ed. 2017 edition
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
Media | Książki Book |
Wydane | 24 stycznia 2018 |
ISBN13 | 9783319734521 |
Wydawcy | Springer International Publishing AG |
Strony | 130 |
Wymiary | 390 g |