Košík

    1.
    0103589 - UT-L 20040095 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
    Ondrůšek, Č. - Vlach, Radek (ed.)
    Computational and experimental modeling of synchronous generator fan.
    [Výpočtové a experimentální modelování ventilátoru synchronního generátoru.]
    Engineering mechanics 2004. Praha: Ústav termomechaniky AV ČR, 2004, s. 315-316. ISBN 80-85918-88-9.
    [National conference with international participation : Engineering mechanics 2004. Svratka (CZ), 10.05.2004-13.05.2004]
    Výzkumný záměr: CEZ:AV0Z2076919
    Klíčová slova: ventilation * electric machine
    Kód oboru RIV: BJ - Termodynamika
    Trvalý link: http://hdl.handle.net/11104/0010896
     
    2.
    0435915 - ÚI 2016 RIV US eng J - Článek v odborném periodiku
    Chvalovský, Karel
    Undecidability of Consequence Relation in Full Non-associative Lambek Calculus.
    Journal of Symbolic Logic. Roč. 80, č. 2 (2015), s. 567-586. ISSN 0022-4812. E-ISSN 1943-5886
    Grant CEP: GA ČR GAP202/10/1826
    Institucionální podpora: RVO:67985807
    Klíčová slova: substructural logics * consequence relation * undecidability * tag systems * word problem * rewriting systems
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.510, rok: 2015 ; AIS: 0.724, rok: 2015
    DOI: https://doi.org/10.1017/jsl.2014.39
    Trvalý link: http://hdl.handle.net/11104/0239734
     
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0435915.pdf5373.1 KBVydavatelský postprintvyžádat
    0435915.pdf21 MBAutorský preprintvyžádat
     
    3.
    0256872 US BCA
    Journal of Applied Physics.
    AIP Publishing. ISSN 0021-8979. E-ISSN 1089-7550
     

  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