Space in Weak Propositional Proof Systems (Bog, Paperback / softback, Engelsk) af Ilario Bonacina
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk datateori
  5. Space in Weak Propositional Proof Systems

Space in Weak Propositional Proof Systems

(Bog, Paperback / softback, Engelsk)
Forfatter: Ilario Bonacina
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk datateori
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book considers logical proof systems from the point of view of their space complexity.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Forfatter Ilario Bonacina
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave Softcover reprint of the original 1st ed. 2017
Udgivelsesdato 07-06-2019
Første udgivelsesår 2019
Illustrationer 8 Illustrations, color; 7 Illustrations, black and white; XVII, 130 p. 15 illus., 8 illus. in color.
Originalsprog Switzerland
Sideantal 130
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 130 pages, 8 Illustrations, color; 7 Illustrations, black and white; XVII, 130 p. 15 illus., 8 illus
Mål 235 x 155
ISBN-13 / EAN-13 9783319892498