Hopp til hovedinnhold

Bøker

Jan Krajicek

Forsidebilde av Proof Complexity Generators

Proof Complexity Generators

London Mathematical Society Lecture Note Series Heftet 26.06.2025 Engelsk

I salg

Forsidebilde av Proof Complexity

Proof Complexity

Encyclopedia of Mathematics and its Applications Innbundet 28.03.2019 Engelsk

I salg

Forsidebilde av Forcing with Random Variables and Proof Complexity

Forcing with Random Variables and Proof Complexity

London Mathematical Society Lecture Note Series Heftet 23.12.2010 Engelsk

Produseres på bestilling

Forsidebilde av Logic Colloquium '01 : Lecture Notes In Logic, 20

Logic Colloquium '01 : Lecture Notes In Logic, 20

Krajicek, Jan Friedman, Sy-David Baaz, Matthias

Innbundet 07.03.2005 Engelsk

I salg

Forsidebilde av Logic Colloquium '01 : Lecture Notes In Logic, 20

Logic Colloquium '01 : Lecture Notes In Logic, 20

Krajicek, Jan Friedman, Sy-David Baaz, Matthias

Heftet 07.03.2005 Engelsk

I salg

Forsidebilde av Bounded Arithmetic, Propositional Logic and Complexity Theory

Bounded Arithmetic, Propositional Logic and Complexity Theory

Encyclopedia of Mathematics and its Applications Innbundet 24.11.1995 Engelsk

Produseres på bestilling

Forsidebilde av Arithmetic, Proof Theory, and Computational Complexity

Arithmetic, Proof Theory, and Computational Complexity

Krajicek, Jan Clote, Peter

Oxford Logic Guides Innbundet 06.05.1993 Engelsk

Produseres på bestilling

Viser 1-7