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

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

    Konkurs: OPUS 2 , panel: HS1

    Kierownik: prof. Andrzej Indrzejczak

    UNIWERSYTET ŁÓDZKI, Wydział Filozoficzno Historyczny

  2. Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych

    Konkurs: OPUS 13 , panel: HS1

    Kierownik: prof. Andrzej Indrzejczak

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny