Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

7 projects found matching your search criteria :

  1. Automation of the Problem of Unification in Description Logics

    Call: POLONEZ BIS 3 , Panel: ST6

    Principal investigator: dr hab. Barbara Joanna Morawska

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  2. Automatic reasoning about specifications in simple logics - decidability and complexity issues

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Lidia Tendera

    Uniwersytet Opolski

  3. Complexity and describability in Analysis: from freeness to polishness

    Call: SONATA BIS 13 , Panel: ST1

    Principal investigator: dr hab. Tomasz Kania

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  4. Decision Problems for Logics with Weak Forms of Recursion

    Call: PRELUDIUM 23 , Panel: ST6

    Principal investigator: Bartosz Bednarczyk

    Uniwersytet Wrocławski

  5. DATALOG in Constraint Satisfaction Problem

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Marcin Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  6. Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition

    Call: OPUS 6 , Panel: HS1

    Principal investigator: dr hab. Marcin Mostowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  7. Dynamical systems and descriptive complexity

    Call: SONATA 18 , Panel: ST1

    Principal investigator: dr Felipe García-Ramos

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy