Basket

Record was added to the basket

Project	Institut teoretické informatiky - Centrum mladé vědy
Project Name	LN00A056
Grant Agency	GA MŠk
Research years	2002 - 2004
Grant Recipient	Matematický ústav AV ČR, v. v. i.
	Ústav informatiky AV ČR, v. v. i.
Participants	Pudlák
	Hájek
Catal.org.	CAV
References	(20) - Konferenční příspěvek (zahraniční konference)
	(37) - Článek v odborném časopise
	(3) - Část monografie
	(18) - Výzkumná zpráva
File	Projekty