Košík

    1.
    0449388 - ÚI 2017 RIV NL eng J - Článek v odborném periodiku
    Franek, Peter - Ratschan, Stefan - Zgliczynski, P.
    Quasi-Decidability of a Fragment of the First-Order Theory of Real Numbers.
    Journal of Automated Reasoning. Roč. 57, č. 2 (2016), s. 157-185. ISSN 0168-7433. E-ISSN 1573-0670
    Grant CEP: GA ČR GCP202/12/J060; GA MŠMT OC10048; GA ČR GA15-14484S
    Institucionální podpora: RVO:67985807
    Klíčová slova: decidability * decision procedure * real numbers
    Kód oboru RIV: IN - Informatika
    Impakt faktor: 1.636, rok: 2016
    Trvalý link: http://hdl.handle.net/11104/0250958
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0449388.pdf9702.4 KBVydavatelský postprintvyžádat
     
     
    2.
    0584008 - BC 2024 RIV CZ cze C - Konferenční příspěvek (zahraniční konf.)
    Kopáček, Jiří - Porcal, Petr
    Odkud pochází voda v Plešném jezeře?
    [Where does the water in Plešné lake come from?]
    Hydrologie malého povodí 2023. Praha: Ústav pro hydrodynamiku AV ČR, 2023 - (Hnilicová, S.; Tesař, M.), s. 236-241. ISBN 978-80-87117-22-4.
    [Hydrologie malého povodí 2023. Praha (CZ), 30.05.2023-01.06.2023]
    Grant CEP: GA ČR GA22-05421S
    Grant ostatní: AV ČR(CZ) StrategieAV21/20
    Program: StrategieAV
    Institucionální podpora: RVO:60077344
    Klíčová slova: lake * groundwater contribution * isotopes
    Obor OECD: Hydrology
    Trvalý link: https://hdl.handle.net/11104/0352001
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše