Počet záznamů: 1  

Neklasické výrokové a predikátové logiky: přístup založený na uspořádání

  1. 1.
    ProjektNeklasické výrokové a predikátové logiky: přístup založený na uspořádání
    Název projektuGA13-14654S
    PoskytovatelGA ČR
    Doba řešení2013 - 2016
    Příjemce projektu Ústav teorie informace a automatizace AV ČR, v. v. i.
    Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Noguera
    Cintula
    Katal.org.CAV
    Odkazy (5) - Abstrakt
    (1) - Monografie kniha jako celek
    (1) - Konferenční příspěvek (zahraniční konference)
    (1) - Dizertace
    (10) - Článek v odborném časopise
    (1) - Část monografie
    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.