Basket

    1.
    0328397 - ÚI 2010 DE eng A - Abstract
    Chvalovský, Karel
    Independence of Axioms in Non-Classical Logics and ATP.
    Mathematical Theory and Computational Practice. Abstract Booklet. Heidelberg: University of Heidelberg, 2009 - (Ambos-Spies, K.; Löwe, B.; Merkle, W.). s. 324-324
    [CiE 2009. Conference on Computability in Europe /5./. 19.07.2009-24.07.2009, Heidelberg]
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : Hilbert-style proof systems * independence of axioms * non-classical logics * automated theorem proving
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0174722
     
     

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

Accept allSettingsReject all