Space in Weak Propositional Proof Systems - Bonacina - Książki - Springer International Publishing AG - 9783319734521 - 24 stycznia 2018
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Space in Weak Propositional Proof Systems 1st ed. 2017 edition

Bonacina

Space in Weak Propositional Proof Systems 1st ed. 2017 edition

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

Pokaż wszystko

Więcej od Bonacina

Zobacz wszystko od Bonacina ( np. Book )