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

6 projects found matching your search criteria :

  1. Reasoning about programs in higher-order languages

    Call: OPUS 8 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  2. The role of the mechanism of binding and integration of relational structures in abstract thinking and reasoning: Psycho...

    Call: OPUS 6 , Panel: HS6

    Principal investigator: dr hab. Adam Chuderski

    Uniwersytet Jagielloński, Wydział Filozoficzny

  3. Rule-based query answering method for a relational database with the use of an ontology-based knowledge

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: dr Jarosław Bąk

    Politechnika Poznańska, Wydział Elektryczny

  4. Neural dynamics underlying relational reasoning

    Call: OPUS 17 , Panel: HS6

    Principal investigator: dr hab. Adam Chuderski

    Uniwersytet Jagielloński

  5. Interactive character of relations between law and emotions

    Call: OPUS 14 , Panel: HS5

    Principal investigator: dr hab. Marta Soniewicka

    Uniwersytet Jagielloński, Wydział Prawa i Administracji

  6. Scalable reasoning about concurrent imperative programs

    Call: SONATA 12 , Panel: ST6

    Principal investigator: dr Filip Sieczkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki