Number of the records: 1

Dynamické formální systémy

Projekt	Dynamické formální systémy
Název projektu	IAA900090703
Poskytovatel	GA AV ČR
Doba řešení	2007 - 2010
Příjemce projektu	Filosofický ústav AV ČR, v. v. i.
	Ústav informatiky AV ČR, v. v. i.
	Matematický ústav AV ČR, v. v. i.
(Spolu)řešitel projektu	Majer
	Cintula
	Jeřábek
Katal.org.	CAV
Odkazy	(7) - Abstrakt
	(1) - Monografie kniha jako celek
	(11) - Konferenční příspěvek (zahraniční konference)
	(1) - Dizertace
	(1) - Elektronický dokument
	(7) - Článek v odborném časopise
	(2) - Konferenční příspěvek (tuzemská konference)
	(3) - Část monografie
	(2) - Uspořádání konfrence
Soubor	Projekty

Number of the records: 1