Space in Weak Propositional Proof Systems - Bonacina - Bøker - Springer International Publishing AG - 9783319734521 - 24. januar 2018
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Få en e-post når varen er tilgjengelig
Har du en profil? Logg inn

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

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 Bøker     Bok
Utgitt 24. januar 2018
ISBN13 9783319734521
Utgivere Springer International Publishing AG
Antall sider 130
Mål 150 × 220 × 20 mm   ·   390 g

Se alt med Bonacina ( f.eks. Bok )