Cantitate/Preț
Produs
Total produse
Vezi coșul
Proof Complexity Generators de Krají&

Proof Complexity Generators: London Mathematical Society Lecture Note Series

Autor Krají&
en Limba Engleză Paperback – 26 iun 2025
This book presents a state-of-the-art theory in the field of proof complexity, aiming to construct hard propositional tautologies needed to solve the P vs. NP problem in the negative. The theory is introduced step by step, starting with the historic background, and several potential new avenues of research are highlighted.
Citește tot Restrânge

Din seria London Mathematical Society Lecture Note Series

  • 14% An Indefinite Excursion in Operator Theory
    Preț: 66321 lei
  • 11% Discrete Quantum Walks on Graphs and Digraphs
    Preț: 46902 lei
  • 11% Wigner-Type Theorems for Hilbert Grassmannians
    Preț: 43149 lei
  • 8% Surveys in Combinatorics 2021
    Preț: 50614 lei
  • 14% Integrable Systems and Algebraic Geometry 2 Volume Paperback Set
    Preț: 121329 lei
  • 11% Galois Representations in Arithmetic Algebraic Geometry
    Preț: 43760 lei
  • 11% Stochastic Stability of Differential Equations in Abstract Spaces
    Preț: 56139 lei
  • Differential Geometry in the Large
    Preț: 40384 lei
  • 11% Constrained Willmore Surfaces: Symmetries of a Möbius Invariant Integrable System
    Preț: 56139 lei
  • Invariance of Modules under Automorphisms of their Envelopes and Covers
    Preț: 31934 lei
  • 8% (Co)end Calculus
    Preț: 44557 lei
  • 11% Matrix Analysis and Entrywise Positivity Preservers
    Preț: 52893 lei
  • 11% Equivariant Topology and Derived Algebra
    Preț: 61298 lei
  • 8% Effective Results and Methods for Diophantine Equations over Finitely Generated Domains
    Preț: 44427 lei
  • 11% Rectifiability: A Survey
    Preț: 47065 lei
  • 11% Modern Trends in Algebra and Representation Theory
    Preț: 50980 lei
  • 11% Recent Advances in Algebraic Geometry
    Preț: 55974 lei
  • 11% Elliptic Regularity Theory by Approximation Methods
    Preț: 57877 lei
  • 14% Stacks Project Expository Collection
    Preț: 70991 lei
  • 11% Methods in Banach Space Theory
    Preț: 42560 lei
  • 11% Higher Dimensional Algebraic Geometry
    Preț: 56505 lei
  • 11% Bounded Cohomology and Simplicial Volume
    Preț: 47065 lei
  • 20% The Logical Approach to Automatic Sequences
    Preț: 51412 lei
  • 11% Harmonic and Subharmonic Function Theory on the Hyperbolic Ball
    Preț: 42631 lei
  • 11% Groups and Graphs, Designs and Dynamics
    Preț: 56459 lei
  • 11% Spaces of Kleinian Groups
    Preț: 57221 lei
  • Lie Groups and Compact Groups
    Preț: 40270 lei
  • 11% Surveys in Combinatorics 2024
    Preț: 47686 lei
  • 11% Polynomial Functors
    Preț: 56663 lei
  • Shimura Varieties
    Preț: 41240 lei
  • 11% The Toda Lattice and Universality for the Computation of the Eigenvalues of a Random Matrix
    Preț: 44253 lei
  • 11% The Maximal Subgroups of the Low-Dimensional Finite Classical Groups
    Preț: 49503 lei
  • General Cohomology Theory and K-Theory
    Preț: 31369 lei
  • 11% Numerical Ranges II
    Preț: 40125 lei
  • 11% Stopping Time Techniques for Analysts and Probabilists
    Preț: 49110 lei
  • Groups and Geometry
    Preț: 32070 lei
  • Surveys in Combinatorics 1985: Invited Papers for the Tenth British Combinatorial Conference
    Preț: 31792 lei
  • Elliptic Structures on 3-Manifolds
    Preț: 31515 lei
  • A Local Spectral Theory for Closed Operators
    Preț: 31979 lei
  • Syzygies
    Preț: 32139 lei
  • 11% Compactification of Siegel Moduli Schemes
    Preț: 49143 lei
  • Some Topics in Graph Theory
    Preț: 44195 lei
  • Diophantine Analysis: Proceedings at the Number Theory Section of the 1985 Australian Mathematical Society Convention
    Preț: 31849 lei
  • New Developments in Topology
    Preț: 31535 lei
  • 11% An Introduction to the Theory of Surreal Numbers
    Preț: 43964 lei
  • Lectures on the Asymptotic Theory of Ideals
    Preț: 40564 lei
  • 11% Lectures on Bochner-Riesz Means
    Preț: 40045 lei
  • 11% An Introduction to Independence for Analysts
    Preț: 42098 lei
  • Representations of Algebras: Proceedings of the Durham Symposium 1985
    Preț: 40526 lei
  • Homotopy Theory: Proceedings of the Durham Symposium 1985
    Preț: 35244 lei

Preț: 37507 lei

Nou

Puncte Express: 563
Preț estimativ în valută:
6638€ • 7785$ • 5820£

Carte disponibilă

Livrare economică 05-19 ianuarie 26
Livrare express 19-25 decembrie pentru 2440 lei

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781009611701
ISBN-10: 1009611704
Pagini: 134
Dimensiuni: 155 x 229 x 9 mm
Greutate: 0.21 kg
Editura: Cambridge University Press
Seria London Mathematical Society Lecture Note Series