Výsledky vyhledávání
- 1.0380367 - ÚTIA 2013 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Fabian, Marián - Henrion, R. - Kruger, A.Y. - Outrata, Jiří
About error bounds in metric spaces.
Operations Research Proceedings 2011. Berlin: Springer, 2012 - (Klatte, D.; Lüthi, H.; Schmedders, K.), s. 33-38. ISBN 978-3-642-29209-5. ISSN 0721-5924.
[International Conference on Operations Research 2011. Zurich (CH), 30.08.2011-02.09.2011]
Grant ostatní: GA ČR(CZ) GA201/09/1957
Program: GA
Institucionální podpora: RVO:67985556 ; RVO:67985840
Klíčová slova: error bound * metric spaces * derivations
Kód oboru RIV: BA - Obecná matematika
http://library.utia.cas.cz/separaty/2012/MTR/outrata-about error bounds in metric spaces.pdf
Trvalý link: http://hdl.handle.net/11104/0211093Název souboru Staženo Velikost Komentář Verze Přístup Fabian1.pdf 1 175.3 KB Vydavatelský postprint vyžádat - 2.0328861 - ÚI 2010 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Chvalovský, Karel
Syntactic Approach to Fuzzy Modal Logic in MTL.
Doktorandské dny '09. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2009 - (Kuželová, D.), s. 35-43. ISBN 978-80-7378-087-6.
[Doktorandské dny 2009 Ústavu informatiky AV ČR, v. v. i. Jizerka (CZ), 21.09.2009-23.09.2009]
Grant CEP: GA ČR GEICC/08/E018; GA ČR GD401/09/H007
Grant ostatní: GA UK project 73109/2009
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: modal logics * logic MTL * syntactic derivations * automated theorem proving
Trvalý link: http://hdl.handle.net/11104/0175061Název souboru Staženo Velikost Komentář Verze Přístup 0328861.pdf 17 102.1 KB Vydavatelský postprint povolen