Projekty finansowane przez NCN

Problemy spełniania więzów oraz kwantyfikowane problemy spełniania więzów w kontekście wnioskowania o zależnościach czas...

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Michał Wrona

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Formalne teorie prawdy i niestandardowe modele arytmetyki

Konkurs: PRELUDIUM 7 , panel: HS1

Kierownik: Michał Godziszewski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Formalne teorie prawdy

Konkurs: OPUS 7 , panel: HS1

Kierownik: dr hab. Cezary Cieśliński

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Jak rośliny runa leśnego spełniają światowe wzorce? Badania związku pomiędzy dekompozycją a cechami funkcjonalnymi rośli...

Konkurs: PRELUDIUM 18 , panel: NZ8

Kierownik: Katarzyna Rawlik

Instytut Dendrologii Polskiej Akademii Nauk