Proof Complexity Generators
9781009611701 London Mathematical Society Lecture Note Series Heftet
26.06.2025
Engelsk
I salg
I salg
Leveringstid: 7-30 dager
Handlinger
Beskrivelse
Omtale
Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. Suitable for doctoral students and researchers in mathematics and theoretical computer science.
Detaljer
-
Utgivelsesdato:
28.03.2019
-
ISBN:
9781108416849
-
Språk:
, Engelsk
-
Forlag:
Cambridge University Press -
Fagtema:
-
Serie:
Encyclopedia of Mathematics and its Applications
-
Litteraturtype:
-
Sider:
530
-
Høyde:
16.6 cm
-
Bredde:
24.2 cm
Andre bøker av eller med forfatteren
Forcing with Random Variables and Proof Complexity
9780521154338 London Mathematical Society Lecture Note Series Heftet
23.12.2010
Engelsk
Produseres på bestilling
Bounded Arithmetic, Propositional Logic and Complexity Theory
9780521452052 Encyclopedia of Mathematics and its Applications Innbundet
24.11.1995
Engelsk
Produseres på bestilling
Arithmetic, Proof Theory, and Computational Complexity
9780198536901 Oxford Logic Guides Innbundet
06.05.1993
Engelsk
Produseres på bestilling