Projects search

• Keywords: intuitionistic logic ×

Change search criteria ↓

Search results

2 projects found matching your search criteria:

1. 1. Automatisation of constructive logic

   Principal investigator: dr hab. Aleksy Andrzej Schubert

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: OPUS 4, Panel: ST6

2. 2. The development and synthesis of modern methods of uncertainty modeling for the solution of multiple-criteria decision m…

   Principal investigator: prof. Pavel Sevastsyanau

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

   Call: OPUS 6, Panel: ST6