Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 2 projektów spełniających kryteria wyszukiwania:
-
Miary złożoności strukturalnej dla teorii podstaw matematyki
Konkurs: WEAVE-UNISONO , panel: HS1
Kierownik: dr Mateusz Zbigniew Łełyk
Uniwersytet Warszawski
-
Obliczalna teoria modeli i filozofia strukturalizmu matematycznego
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Dariusz Kalociński
Instytut Podstaw Informatyki PAN