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. Wnioskowanie ilościowe odporne na perturbacje

    Konkurs: OPUS 20 , panel: ST6

    Kierownik: dr Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  2. Wokół logik modalnych - rozstrzygalność i złożoność

    Konkurs: PRELUDIUM 2 , panel: ST6

    Kierownik: Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  3. Logiki do przetwarzania danych i weryfikacji

    Konkurs: SONATA 8 , panel: ST6

    Kierownik: dr Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki