Košík

    1.
    0430258 - ÚGN 2015 RIV CZ eng A - Abstrakt
    Waclawik, Petr - Ptáček, Jiří - Vavro, Martin - Koníček, Petr - Kukutsch, Radovan
    Rock mass fracturing in main gate roof behind advancing longwall face.
    5th International Colloquium on Geomechanics and Geophysics. GECO 2014. Vol. 5. Ostrava: Ústav geoniky AV ČR, 2014 - (Koníček, P.; Souček, K.; Heroldová, N.). s. 45-46. ISBN 978-80-86407-49-4.
    [5th International Colloquium on Geomechanics and Geophysics. 24.06.2014-27.06.2014, Ostravice, Karolínka]
    Institucionální podpora: RVO:68145535
    Klíčová slova: main gate * longwall exploatation * RQD testing * rock mass fracturing * fracturing zone prediction
    Kód oboru RIV: DH - Báňský průmysl vč. těžby a zpracování uhlí
    Trvalý link: http://hdl.handle.net/11104/0235183
     
    Název souboruStaženoVelikostKomentářVerzePřístup
    UGN_0430258.pdf1441.2 KBVydavatelský postprintpovolen
     
    2.
    0575743 - FLÚ 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
    Ferguson, Thomas - Punčochář, Vít
    Structural Completeness and Superintuitionistic Inquisitive Logics.
    Logic, Language, Information, and Computation. Cham: Springer, 2023 - (Hansen, H.; Scedrov, A.; de Queiroz, R.), s. 194-210. Lecture Notes in Computer Science, 13923. ISBN 978-3-031-39783-7.
    [WoLLIC 2023: Workshop on Logic, Language, Information and Computation /29./. Halifax (CA), 11.07.2023-14.07.2023]
    Grant CEP: GA ČR(CZ) GM21-23610M
    Institucionální podpora: RVO:67985955
    Klíčová slova: structural completeness * inquisitive logic * superintuitionistic logics * substitution
    Obor OECD: Philosophy, History and Philosophy of science and technology
    Web výsledku:
    https://doi.org/10.1007/978-3-031-39784-4_12DOI: https://doi.org/10.1007/978-3-031-39784-4_12
    Trvalý link: https://hdl.handle.net/11104/0346056
     
     

  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