Košík

    1.
    0312146 - ÚI 2009 CZ eng K - Konferenční příspěvek (tuzemská konf.)
    Chvalovský, Karel
    On the Independence of Axioms in BL and MTL.
    Doktorandské dny '08. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2008 - (Hakl, F.), s. 28-36. ISBN 978-80-7378-054-8.
    [Doktorandské dny 2008 Ústavu informatiky AV ČR, v. v. i. Jizerka (CZ), 29.09.2008-01.10.2008]
    Grant CEP: GA ČR GEICC/08/E018
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: Hilbert-style proof systems * independece of axioms * logic BL * logic MTL * automated theorem proving
    Kód oboru RIV: IN - Informatika
    Trvalý link: http://hdl.handle.net/11104/0163283
    Název souboruStaženoVelikostKomentářVerzePřístup
    0312146.pdf12169 KBVydavatelský postprintpovolen
     
     

  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