Basket

    1.
    0346961 - ÚI 2011 CZ eng A - Abstract
    Chvalovský, Karel
    Provability in Hilbert-Style Calculi for Non-Classical Logics and ATP.
    Young Research Forum. Brno, 2010 - (Strejček, J.). s. 11-11. ISBN 978-80-87342-09-1.
    [MFCS & CSL 2010. Young Research Forum. 21.08.2010-22.08.2010, Brno]
    R&D Projects: GA ČR GAP202/10/1826; GA ČR GD401/09/H007
    Grant - others:GA UK 73109/2009
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : provability * non-classical logics * automated theorem proving
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0187850
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all