Różnice między wybraną wersją a wersją aktualną.
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 21:36] 10.130.18.82 |
||
---|---|---|---|
Linia 1: | Linia 1: | ||
- | Research | + | 1. Logical automated reasoning, SAT, MaxSAT |
+ | 2. Software engineering, | ||
+ | 3. Intelligent Environments, | ||
+ | 4. Blockchain, | ||
+ |