Znaleziono 2 projektów spełniających kryteria wyszukiwania:
Obliczalna teoria modeli i filozofia strukturalizmu matematycznego
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Dariusz Kalociński
Instytut Podstaw Informatyki PAN
Konkurs: OPUS 8 , panel: HS1
Kierownik: prof. Marian Wesoły
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny