Košík

    1.
    0478330 - ÚI 2018 US eng C - Konferenční příspěvek (zahraniční konf.)
    Bofill, M. - Manya, F. - Vidal, Amanda - Villaret, M.
    Finding Hard Instances of Satisfiability in Lukasiewicz Logics.
    ISMVL 2015. IEEE 45th International Symposium on Multiple-Valued Logic. Los Alamitos: IEEE Computer Society, 2015, s. 30-35. ISBN 978-147991777-8. ISSN 2378-2226.
    [ISMVL 2015. IEEE International Symposium on Multiple-Valued Logic /45./. Waterloo (CA), 18.05.2015-20.05.2015]
    Trvalý link: http://hdl.handle.net/11104/0274743
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0478330.pdf0210.6 KBVydavatelský 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