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. Granice obliczalności dla zapytań rekurencyjnych

    Konkurs: PRELUDIUM 5 , panel: ST6

    Kierownik: dr Filip Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  2. BIG_PICTURE: Opracowanie narzędzi zarządzania danymi i metod analitycznych w celu integracji i rozwoju profesjonalnych i...

    Konkurs: BiodivMon , panel: NZ8

    Kierownik: dr Jakub Bubnicki

    Instytut Biologii Ssaków Polskiej Akademii Nauk

  3. 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

  4. 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