A ground many-valued type theory and its extensions

Počet záznamů: 1

1.

SYSNO ASEP	0427494
Druh ASEP	A - Abstrakt
Zařazení RIV	Záznam nebyl označen do RIV
Zařazení RIV	Není vybrán druh dokumentu
Název	A ground many-valued type theory and its extensions
Tvůrce(i)	Běhounek, Libor (UIVT-O)_{RID, SAI, ORCID}
Zdroj.dok.	Graded Logical Approaches and Their Applications. - Linz : Johannes Kepler Universität, 2014 / Flaminio T. ; Godo L. ; Gottwald S. ; Klement E.P. S. 15-18
Poč.str.	4 s.
Akce	Linz Seminar on Fuzzy Set Theory /35./
Datum konání	18.02.2014-22.02.2014
Místo konání	Linz
Země	AT - Rakousko
Typ akce	WRD
Jazyk dok.	eng - angličtina
Země vyd.	AT - Rakousko
Klíč. slova	type theory ; many-valued logics ; higher-order logic ; teorie typů ; vícehodnotové logiky ; logika vyššího řádu
Vědní obor RIV	BA - Obecná matematika
CEP	ED1.1.00/02.0070 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
Institucionální podpora	UIVT-O - RVO:67985807
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	2015

Počet záznamů: 1