Wyniki wyszukiwania
Znaleziono 2 projekty spełniających kryteria wyszukiwania:
-
1. Problemy Spełnialności Więzów: poza przypadek skończony
Kierownik: dr hab. Marcin Andrzej Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: WEAVE-UNISONO, panel: ST6
-
2. Formalne teorie prawdy i niestandardowe modele arytmetyki
Kierownik: Michał Tomasz Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Konkurs: PRELUDIUM 7, panel: HS1