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 2 projektów spełniających kryteria wyszukiwania:

  1. Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i licze...

    Konkurs: OPUS 16 , panel: ST6

    Kierownik: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  2. Wysokowymiarowy rachunek prawdopodobieństwa: asymptotyczne i nieasymptotyczne własności widm macierzy losowych.

    Konkurs: OPUS 16 , panel: ST1

    Kierownik: dr hab. Ganna Lytova

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy