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

  1. Analiza i opracowanie metod eksploracji procesów w oparciu o algorytmy szkieletowe

    Konkurs: PRELUDIUM 1 , panel: ST6

    Kierownik: dr Adam Paweł Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  2. Problemy spełniania więzów oraz kwantyfikowane problemy spełniania więzów w kontekście wnioskowania o zależnościach czas...

    Konkurs: SONATA 1 , panel: ST6

    Kierownik: dr Michał Wrona

    Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

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

    Konkurs: OPUS 1 , panel: ST6

    Kierownik: dr hab. Marcin Andrzej Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki