Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wyniki wyszukiwania

Znaleziono 4 projektów spełniających kryteria wyszukiwania:

  1. Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

    Konkurs: OPUS 5 , panel: ST6

    Kierownik: dr hab. Lidia Tendera

    Uniwersytet Opolski

  2. Złożoność i opisywalność borelowska w analizie: od wolności do polskości

    Konkurs: SONATA BIS 13 , panel: ST1

    Kierownik: dr hab. Tomasz Kania

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  3. Automation of the Problem of Unification in Description Logics

    Konkurs: POLONEZ BIS 3 , panel: ST6

    Kierownik: dr hab. Barbara Morawska

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  4. DATALOG w Problemie Spełnialności Więzów

    Konkurs: OPUS 1 , panel: ST6

    Kierownik: dr hab. Marcin Kozik

    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