Hopp til hovedinnhold
Placeholder image

Proof Complexity

Krajicek, Jan

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.

  • Utgivelsesdato:

    28.03.2019

  • ISBN/Varenr:

    9781108416849

  • Språk:

    Engelsk

  • Forlag:

    Cambridge University Press

  • Innbinding:

    Innbundet

  • Fagtema:

    Matematikk og naturvitenskap

  • Serie:

    Encyclopedia of Mathematics and its Applications

  • Litteraturtype:

    Faglitteratur

  • Sider:

    530

  • Høyde:

    16.6 cm

  • Bredde:

    24.2 cm

Andre bøker i samme serie

Single and Multiple Number Series

Single and Multiple Number Series
Debernardi Pinos, Alberto • Tikhonov, Sergey • Zeltser, Maria • Liflyand, Elijah
9781009562997 Innbundet
31.10.2025
Engelsk

Forventes utgitt
Coxeter Bialgebras

Coxeter Bialgebras
Aguiar, Marcelo • Mahajan, Swapneel
9781009243773 Innbundet
17.11.2022
Engelsk

I salg
Strongly Regular Graphs

Strongly Regular Graphs
Brouwer, Andries E. • Van Maldeghem, H.
9781316512036 Innbundet
13.01.2022
Engelsk

I salg
Orthogonal Polynomials in the Spectral Analysis of Markov Processes : Birth-Death Models and Diffusion

Orthogonal Polynomials in the Spectral Analysis of Markov Processes : Birth-Death Models and Diffusion
de la Iglesia, Manuel Dominguez
9781316516553 Innbundet
21.10.2021
Engelsk

I salg
Numerical Ranges of Hilbert Space Operators

Numerical Ranges of Hilbert Space Operators
Gau, Hwa-Long • Wu, Pei Yuan
9781108479066 Innbundet
05.08.2021
Engelsk

I salg
Time-Domain Scattering

Time-Domain Scattering
Martin, P. A.
9781108835596 Innbundet
24.06.2021
Engelsk

I salg
Foundations of Constructive Probability Theory

Foundations of Constructive Probability Theory
Chan, Yuen-Kwok
9781108835435 Innbundet
27.05.2021
Engelsk

I salg
Asymptotic Analysis of Random Walks : Light-Tailed Distributions

Asymptotic Analysis of Random Walks : Light-Tailed Distributions
Borovkov, A. A.
9781107074682 Innbundet
29.10.2020
Engelsk

I salg

Andre bøker av samme forfatter

Proof Complexity Generators

Proof Complexity Generators
Krajicek, Jan
9781009611701 Heftet
14.08.2025
Engelsk

Forventes utgitt
Forcing with Random Variables and Proof Complexity

Forcing with Random Variables and Proof Complexity
Krajicek, Jan
9780521154338 Heftet
23.12.2010
Engelsk

I salg
Logic Colloquium '01 : Lecture Notes In Logic, 20

Logic Colloquium '01 : Lecture Notes In Logic, 20
9781568812472 Innbundet
07.03.2005
Engelsk

I salg
Logic Colloquium '01 : Lecture Notes In Logic, 20

Logic Colloquium '01 : Lecture Notes In Logic, 20
9781568812489 Heftet
07.03.2005
Engelsk

Produseres på bestilling
Bounded Arithmetic, Propositional Logic and Complexity Theory

Bounded Arithmetic, Propositional Logic and Complexity Theory
Krajicek, Jan
9780521452052 Innbundet
24.11.1995
Engelsk

I salg
Arithmetic, Proof Theory, and Computational Complexity

Arithmetic, Proof Theory, and Computational Complexity
9780198536901 Innbundet
06.05.1993
Engelsk

Produseres på bestilling