Number of the records: 1  

Algebraické metody v teorii důkazů

  1. 1.
    ProjectAlgebraické metody v teorii důkazů
    Project NameGAP202/11/1632
    Grant AgencyGA ČR
    Research years2011 - 2015
    Grant Recipient Ústav informatiky AV ČR, v. v. i.
    Participants Horčík
    Catal.org.CAV
    References (3) - Abstrakt
    (2) - Konferenční příspěvek (zahraniční konference)
    (7) - Článek v odborném časopise
    (1) - Část monografie
    FileProjekty
Number of the records: 1  

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

Accept allSettingsReject all