Pudlák, Pavel, 1952-
Pudlák, Pavel.
Pavel Pudlák český matematik
VIAF ID: 111316148 ( Personal )
Permalink: http://viaf.org/viaf/111316148
Preferred Forms
- 100 0 _ ‡a Pavel Pudlák ‡c český matematik
-
- 100 1 _ ‡a Pudlák, Pavel ‡d 1952-
- 100 1 0 ‡a Pudlák, Pavel, ‡d 1952-
-
-
-
- 100 1 _ ‡a Pudlák, Pavel, ‡d 1952-....
-
-
-
- 100 1 _ ‡a Pudlák, Pavel
- 100 1 _ ‡a Pudlák, Pavel ‡d 1952-...
-
-
4xx's: Alternate Name Forms (3)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Abel prize, the highest achievement in mathematics | |
Abelova cena : nejvyšší ocenění za matematiku | |
A lattice of chapters of mathematics : interpretations between theorems | |
Logic colloquium '98 : proceedings of the annual European summer meeting of the Association for symbolic logic, held in Prague, Czech Republic, August 9-15, 1998 | |
Logical foundations of mathematics and computational complexity : a gentle introduction | |
Metamathematics of first-order arithmetic | |
More on computing Boolean functions by sparse real polynomials and related types of threshold circuits | |
On sparse parity check matrices | |
On the computational power of depth 2 circuits with threshold and modulo gates | |
Perspectives in logic | |
proof that division is not in TC02 | |
The role of platelets in haemostasis and thrombosis : symposium with international participation ; XVIth Scientific Conference of the Faculty of General Medicine of Charles University org. in coop. with the Czechoslovak Society of Haematology, the Czechoslovak Society of Clinical and Pathological Physiology and the Czechoslovak medical. | |
Složitost formálních důkazů |