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

  1. Problemy Spełnialności Więzów: poza przypadek skończony

    Konkurs: WEAVE-UNISONO , panel: ST6

    Kierownik: dr hab. Marcin Kozik

    Uniwersytet Jagielloński

  2. Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów

    Konkurs: OPUS 19 , panel: ST6

    Kierownik: dr Michał Wrona

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  3. Arytmetyczne i geometryczne podejście do asymptotycznych niezmienników w algebrze i geometrii algebraicznej

    Konkurs: OPUS 18 , panel: ST1

    Kierownik: prof. Tomasz Szemberg

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie