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

  1. 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

  2. Implikacje rozmyte i ich wpływ na różnorodne metody wykorzystywane w systemach inteligentnych.

    Konkurs: OPUS 10 , panel: ST6

    Kierownik: dr hab. Michał Baczyński

    Uniwersytet Śląski w Katowicach, Wydział Nauk Ścisłych i Technicznych

  3. Zastosowania logiki z funcjami częściowymi

    Konkurs: OPUS 9 , panel: ST6

    Kierownik: dr hab. Jean de Nivelle

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy