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. Niefregowskie ujęcie logiki związku treściowego Dunna-Epsteina

    Konkurs: OPUS 29 , panel: HS1

    Kierownik: dr Mateusz Klonowski

    Uniwersytet Mikołaja Kopernika

  2. 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, Instytut Informatyki

  3. Opracowanie metod badania zaburzeń równowagi jonomicznej i ich genezy w komórkach rakowych poddawanych działaniu cytosta...

    Konkurs: OPUS 5 , panel: ST4

    Kierownik: dr hab. Katarzyna Monika Pawlak

    Politechnika Warszawska, Wydział Chemiczny