top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
Espandi
Riduci
Questo autore in
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Krajícek, Jan
ID:
477381
Opere
Altre forme del nome
Krajíček, Jan, 1960-
Krajícek, Jan
Krajicek, Jan
Krajícek, Jan
Krajicek Jan
Seleziona tutte
Deseleziona
Bounded arithmetic, propositional logic, and complexity theory
...
Forcing with random variables and proof complexity
...