Różnice między wybraną wersją a wersją aktualną.
Nowa wersja | Poprzednia wersja Nowa wersja Następna rewizja po obu stronach | ||
research [2020/09/27 20:46] 127.0.0.1 edycja zewnętrzna |
research [2020/09/27 23:18] admin |
||
---|---|---|---|
Linia 1: | Linia 1: | ||
- | Research | + | |
+ | | Logical automated reasoning, SAT, MaxSAT | | ||
+ | | Software engineering, | ||
+ | | Intelligent Environments, | ||
+ | | Blockchain, Java, Python | | ||
+ | |||
+ | |||
+ | |||
+ | [[https:// | ||
+ | [[https:// | ||
+ | [[https:// | ||
+ | [[https:// |