Košík

  Odznačit vybrané:   0
  1. 1.
    0364974 - ÚI 2012 CZ eng K - Konferenční příspěvek (tuzemská konf.)
    Chvalovský, Karel
    Notes on Condensed Detachment.
    Doktorandské dny '11. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2011 - (Kuželová, D.; Hakl, F.), s. 35-40. ISBN 978-80-7378-170-5.
    [Doktorandské dny 2011 Ústavu informatiky AV ČR, v. v. i. Jizerka (CZ), 05.10.2011-07.10.2011]
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: propositional logic * Hilbert-style proof systems * the rule of condensed detachment
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0200324
    Název souboruStaženoVelikostKomentářVerzePřístup
    0364974.pdf16151.3 KBVydavatelský postprintpovolen
     
     
  2. 2.def.record 'I2_TF_SHORT' not found in 'CavUnTablesd'

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.