Hopp til hovedinnhold

Klikk her for å se avvik og utvikling i leveransene våre (sist oppdatert 2. september)

Bøker

Jan Krajicek

Produkter

Proof Complexity Generators

Proof Complexity Generators
Krajicek, Jan
9781009611701 London Mathematical Society Lecture Note Series Heftet
26.06.2025
Engelsk

I salg
Proof Complexity

Proof Complexity
Krajicek, Jan
9781108416849 Encyclopedia of Mathematics and its Applications Innbundet
28.03.2019
Engelsk

I salg
Forcing with Random Variables and Proof Complexity

Forcing with Random Variables and Proof Complexity
Krajicek, Jan
9780521154338 London Mathematical Society Lecture Note Series Heftet
23.12.2010
Engelsk

Produseres på bestilling
Logic Colloquium '01 : Lecture Notes In Logic, 20

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

Nytt opplag ventes
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 Encyclopedia of Mathematics and its Applications Innbundet
24.11.1995
Engelsk

Produseres på bestilling
Arithmetic, Proof Theory, and Computational Complexity

Arithmetic, Proof Theory, and Computational Complexity
9780198536901 Oxford Logic Guides Innbundet
06.05.1993
Engelsk

Produseres på bestilling

Viser 1-7