Počet záznamů: 1  

Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics

  1. 1.
    ProjektSyntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics
    Název projektu689176
    Doba řešení2016 - 2019
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    Ústav teorie informace a automatizace AV ČR, v. v. i.
    Poznámkahttp://cordis.europa.eu/project/rcn/199888_en.html
    Katal.org.CAV
    Odkazy (2) - Abstrakt
    (1) - Konferenční příspěvek (zahraniční konference)
    (17) - Článek v odborném časopise
    (8) - Výzkumná zpráva
    SouborProjekty
Počet záznamů: 1  

  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