Zobrazuji výsledky 1 - 12 z 12 pro vyhledávání 'Krajíček, Jan', doba hledání: 0,04 s. Upřesnit hledání
Obálka

Omezená aritmetika, výrokový počet a teorie složitosti

Autor Krajíček, Jan Vydáno: 1992
Kniha
Uloženo v:
Obálka

Složitost formálních důkazů

Autor Krajíček, Jan Vydáno: 1989
Kniha
Uloženo v:
Obálka

Proof complexity

Autor Krajíček, Jan, 1960-   Vydáno: 2019
Kniha
Uloženo v:
Obálka

Forcing with random variables and proof complexity

Autor Krajíček, Jan, 1960-   Vydáno: 2011
Kniha
Uloženo v:
Obálka

Search problems and bounded arithmetic : Ph.D. thesis

Autor Hanika, Jiří, 1974-   Vydáno: 2004
Kniha
Uloženo v:
Obálka

Vlastnosti hornin slánské pánve

Autor Martinec, Petr, 1942-   Vydáno: 1990
Kniha
Uloženo v:
Obálka

Pokryvné útvary karbonu čs. hornoslezské pánve

Autor Martinec, Petr, 1942-   Vydáno: 1990
Kniha
Uloženo v:
Obálka

Vlastnosti hornin slánské pánve

Autor Martinec, Petr, 1942-   Vydáno: 1990
Kniha
Uloženo v:
Vyhledávací nástroje: RSS — Poslat emailem — Uložit hledání