Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów
Instytucja Finansująca / Przyznający: Narodowe Centrum Nauki
Tytuł: Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów
Kierownik: Michał Wrona
Rozpoczęcie: 2021-01-26
Zakończenie: 2024-01-25
Uwagi: OPUS 19