Košík

Záznam byl přidán do košíku

Projekt	Teorie, důkazy a výpočetní složitost
Název projektu	IAA1019401
Poskytovatel	GA AV ČR
Doba řešení	2004 - 2008
Příjemce projektu	Matematický ústav AV ČR, v. v. i.
(Spolu)řešitel projektu	Pudlák
Poznámka	Příjemce
Katal.org.	CAV
Odkazy	(3) - Monografie kniha jako celek
	(14) - Konferenční příspěvek (zahraniční konference)
	(39) - Článek v odborném časopise
	(3) - Část monografie
	(3) - Ostatní výsledky
	(9) - Výzkumná zpráva
Soubor	Projekty