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. Struktury C*-algebr zadanych przez relacje, spektralne i ergodyczne własności operatorów generujących układy dynamiczne...

    Konkurs: SONATA 1 , panel: ST1

    Kierownik: dr Bartosz Kwaśniewski

    Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

  2. Analiza konstrukcji i struktur związanych z badaniem układów C*-dynamicznych

    Konkurs: OPUS 1 , panel: ST1

    Kierownik: prof. Anatolij Antonevich

    Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

  3. Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji

    Konkurs: PRELUDIUM 4 , panel: ST6

    Kierownik: dr Karol Pąk

    Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

  4. Emulator środowiska systemu Mizar w systemie Isabelle jako narzędzie umożliwiające niezależną weryfikację bazy MML...

    Konkurs: SONATA 10 , panel: ST6

    Kierownik: dr Karol Pąk

    Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki