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