Košík

    1.
    0561005 - ÚI 2023 RIV AR eng C - Konferenční příspěvek (zahraniční konf.)
    Cerna, David M.
    When First-order Unification Calls itself.
    Informal Proceedings of the 35th International Workshop on Unification (UNIF 2021). Buenos Aires, 2022 - (Baader, F.; Baumgartner, A.), s. 1-6
    [UNIF 2021: International Workshop on Unification /35./. Buenos Aires / Virtual (AR), 18.07.2022-18.07.2022]
    Institucionální podpora: RVO:67985807
    Klíčová slova: Unification theory * Induction * Termination
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    https://www.uoh.cl/unif-2021/assets/proceedings-UNIF2021.pdf
    Trvalý link: https://hdl.handle.net/11104/0333757
    Název souboruStaženoVelikostKomentářVerzePřístup
    0561005-aw.pdf2431.5 KBvolně onlineVydavatelský postprintvyžádat
     
     
    2.
    0394766 - GLÚ 2014 RIV US eng J - Článek v odborném periodiku
    Dong, L. - Roček, Zbyněk - Wang, J. - Jones, M. E. H.
    Anurans from the Lower Cretaceous Jehol Group of Western Liaoning, China.
    PLoS ONE. Roč. 8, č. 7 (2013), e69723-e69723. ISSN 1932-6203. E-ISSN 1932-6203
    Institucionální podpora: RVO:67985831
    Klíčová slova: Anurans * Lower Cretaceous
    Kód oboru RIV: DB - Geologie a mineralogie
    Impakt faktor: 3.534, rok: 2013
    Trvalý link: http://hdl.handle.net/11104/0222931
     
     

  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