Różnice między wybraną wersją a wersją aktualną.
Poprzednia rewizja po obu stronach Poprzednia wersja Nowa wersja | Poprzednia wersja Nowa wersja Następna rewizja po obu stronach | ||
research [2020/09/27 21:41] 10.130.18.82 |
research [2020/09/28 01:45] admin |
||
---|---|---|---|
Linia 1: | Linia 1: | ||
+ | **Research interests** | ||
| Logical automated reasoning, SAT, MaxSAT | | | Logical automated reasoning, SAT, MaxSAT | | ||
Linia 4: | Linia 5: | ||
| Intelligent Environments, | | Intelligent Environments, | ||
| Blockchain, Java, Python | | | Blockchain, Java, Python | | ||
+ | |||
+ | |||
+ | |||
+ | [[https:// | ||
+ | [[https:// | ||
+ | [[https:// | ||
+ | [[https:// | ||
+ | [[https:// |