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
-
Kierownik: prof. Marian Wesoły
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny
Konkurs: OPUS 8, panel: HS1