Space in Weak Propositional Proof Systems - Bonacina - Kirjat - Springer International Publishing AG - 9783319734521 - keskiviikko 24. tammikuuta 2018
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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


Vastaanota sähköposti kun titteli on saatavilla
Onko sinulla profiili? Kirjaudu sisään
Lisää iMusic-toivelistallesi
tai

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 Kirjat     Book
Julkaisupäivämäärä keskiviikko 24. tammikuuta 2018
ISBN13 9783319734521
Tuottaja Springer International Publishing AG
Sivujen määrä 130
Mitta 150 × 220 × 20 mm   ·   390 g