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. Logika temporalna i filozofia cyklicznego niedeterministycznego świata

    Konkurs: OPUS 25 , panel: HS1

    Kierownik: dr Marcin Łyczak

    Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Humanistyczny

  2. Hybrydyzacja fragmentów logiki Halperna-Shohama

    Konkurs: PRELUDIUM 12 , panel: HS1

    Kierownik: Przemysław Andrzej Wałęga

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  3. Opracowanie oraz implementacja metod weryfikacji modelowej dla systemów czasu rzeczywistego i wieloagentowych

    Konkurs: OPUS 1 , panel: ST6

    Kierownik: dr hab. Bożena Woźna-Szcześniak

    Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy