Nie jesteś zalogowany | Zaloguj się

PL /
EN

Kierownik: dr Katarzyna Mazowiecka
Numer umowy: 2013/09/N/ST6/01170
Data rozpoczęcia: 21 lutego 2014
Data zakończenia: 20 lutego 2016
Finansowany przez: Narodowe Centrum Nauki
Wykonawcy: dr Filip Murlak, mgr Adam Witkowski
Słowa kluczowe: złożoność, logika, datalog, xml, drzewa