Wyszukiwarka projektów

• Słowa kluczowe: nominal sets ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 2 projekty spełniających kryteria wyszukiwania:

1. 1. Modele obliczeń rozszerzone o dane

   Kierownik: prof. Sławomir Grzegorz Lasota

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: OPUS 18, panel: ST6

2. 2. Nowe pojęcie skończoności w teorii obliczeń

   Kierownik: dr hab. Mikołaj Bojańczyk

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: OPUS 4, panel: ST6