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

  2. Logika erotetyczna w modelowaniu liniowego i dystrybutywnego przetwarzania pytań. Podstawy teoretyczne i zastosowania

    Konkurs: MAESTRO 2 , panel: HS1

    Kierownik: prof. Andrzej Wiśniewski

    Uniwersytet im. Adama Mickiewicza, Wydział Nauk Społecznych

  3. 80 lat badań nad dedukcją naturalną i rachunkami sekwentowymi

    Konkurs: OPUS 2 , panel: HS1

    Kierownik: prof. Andrzej Indrzejczak

    UNIWERSYTET ŁÓDZKI, Wydział Filozoficzno Historyczny

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy