Wyszukiwarka projektów

• Słowa kluczowe: intuitionistic logic ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 2 projekty spełniających kryteria wyszukiwania:

1. 1. Automatyzacja wnioskowania konstruktywnego

   Kierownik: dr hab. Aleksy Andrzej Schubert

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: OPUS 4, panel: ST6

2. 2. Rozwój oraz synteza nowoczesnych metod modelowania niepewności w rozwiązaniu wielokryterialnych problemów decyzyjnych

   Kierownik: prof. Pavel Sevastsyanau

   Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

   Konkurs: OPUS 6, panel: ST6