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. Aksjomaty ekstremalne: aspekty logiczne, matematyczne i kognitywne
Kierownik: prof. Jerzy Pogonowski
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki
Konkurs: OPUS 9, panel: HS1