Wyniki wyszukiwania
Znaleziono 2 projekty spełniających kryteria wyszukiwania:
-
1. Nieoczekiwane powierzchnie typu (d+k,d) w przestrzeni rzutowej P^N
Kierownik: dr Grzegorz Malara
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Konkurs: SONATA 19, panel: ST1
-
2. Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji
Kierownik: dr Karol Pąk
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 4, panel: ST6