Košík

    1.
    0508276 - ÚI 2020 CH eng A - Abstrakt
    Cintula, Petr - Diaconescu, D. - Metcalfe, G.
    Skolemization and Herbrand Theorems for Lattice-Valued Logics.
    LATD 2018. Proceedings. Bern: University of Bern, 2018. s. 58-59.
    [LATD 2018: Logic, Algebra and Truth Degrees /6./. 28.08.2019-31.08.2019, Bern]
    Grant CEP: GA ČR GBP202/12/G061
    Institucionální podpora: RVO:67985807
    Trvalý link: http://hdl.handle.net/11104/0299232
    Název souboruStaženoVelikostKomentářVerzePřístup
    LATD2018.pdf02.9 MBVydavatelský 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