Počet záznamů: 1

Prague Bounded Arithmetic Workshop 2017

SYSNO	0488110
Název	Prague Bounded Arithmetic Workshop 2017
Tvůrce(i)	Thapen, Neil (MU-W)_{RID, SAI} Pudlák, Pavel (MU-W)_{RID, SAI}
Druh akce	Workshop
Místo, datum	20171102, Prague
Druh dok.	Uspořádání konference, workshopu, výstavy
Grant	339691, XE - země EU
Institucionální podpora	MU-W - RVO:67985840
Jazyk dok.	eng
Klíč.slova	logic * bounded arithmetic * computational complexity
URL	https://calendar.math.cas.cz/content/prague-bounded-arithmetic-workshop-2017
Trvalý link	http://hdl.handle.net/11104/0282728

Počet záznamů: 1