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

  1. Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych

    Konkurs: OPUS 13 , panel: HS1

    Kierownik: prof. Andrzej Bogusław 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