Number of the records: 1

Dynamické formální systémy

Project	Dynamické formální systémy
Project Name	IAA900090703
Grant Agency	GA AV ČR
Research years	2007 - 2010
Grant Recipient	Filosofický ústav AV ČR, v. v. i.
	Ústav informatiky AV ČR, v. v. i.
	Matematický ústav AV ČR, v. v. i.
Participants	Majer
	Cintula
	Jeřábek
Catal.org.	CAV
References	(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
File	Projekty

Number of the records: 1