Košík

    1.
    0343478 - MÚ 2011 RIV GB eng J - Článek v odborném periodiku
    Jeřábek, Emil
    Admissible Rules of Lukasiewicz Logic.
    Journal of Logic and Computation. Roč. 20, č. 2 (2010), s. 425-447. ISSN 0955-792X. E-ISSN 1465-363X
    Grant CEP: GA AV ČR IAA900090703; GA AV ČR IAA100190902; GA MŠMT(CZ) 1M0545
    Výzkumný záměr: CEZ:AV0Z10190503
    Klíčová slova: linear temporal logic * unification * consecutions
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.586, rok: 2010
    http://logcom.oxfordjournals.org/content/20/2/425
    Trvalý link: http://hdl.handle.net/11104/0185948
    Název souboruStaženoVelikostKomentářVerzePřístup
    Jerabek1.pdf9294.3 KBAutorský postprintvyžádat
     
     

  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