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:40] 10.130.18.82 |
research [2020/09/28 12:38] admin |
||
---|---|---|---|
Linia 1: | Linia 1: | ||
- | 1. Logical automated reasoning, SAT, MaxSAT | + | **Research interests** |
- | 2. Software engineering, | + | ---- |
- | 3. Intelligent Environments, | + | {{:school.jpg?300|}} |
- | 4. Blockchain, Java, Python | + | **Raphael (1509-1511): |
- | | Row 1 Col 1 | | + | ---- |
- | | Row 2 Col 1 | | + | |
- | | Row 3 Col 1 | | + | |
+ | | Logical automated reasoning, SAT, MaxSAT | | ||
+ | | Software engineering, | ||
+ | | Intelligent Environments, | ||
+ | | Blockchain, Java, Python | | ||
+ | |||
+ | |||
+ | |||
+ | [[https:// | ||
+ | [[https:// | ||
+ | [[https:// | ||
+ | [[https:// | ||
+ | [[https:// |