Różnice między wybraną wersją a wersją aktualną.
Poprzednia rewizja po obu stronach Poprzednia wersja Nowa wersja | Poprzednia wersja Ostatnia wersja Następna rewizja po obu stronach | ||
research [2020/09/27 22:25] admin |
research [2020/12/29 12:59] admin |
||
---|---|---|---|
Linia 1: | Linia 1: | ||
+ | **< | ||
- | | Logical automated reasoning, SAT, MaxSAT | | + | ---- |
- | | Software engineering, | + | |
- | | Intelligent Environments, | + | |
- | | Blockchain, Java, Python | | + | |
+ | {{: | ||
- | | + | **Raphael (1509-1511): //The School of Athens//**. |
- | [[https:// | + | ---- |
- | [[https:// | + | | **Logical automated reasoning, SAT, MaxSAT** | |
+ | | **Software engineering, | ||
+ | | **Intelligent Environments, | ||
+ | | **Blockchain, | ||
+ | |||
+ | |||
+ | [[https:// | ||
+ | [[https:// | ||
+ | [[https:// | ||
+ | [[https:// | ||
+ | [[https:// | ||
+ | [[https:// | ||
+ | |PBN]] | ||
[[https:// | [[https:// |