Narzędzia użytkownika
research
Różnice
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 23:18] admin |
research [2020/09/28 01:04] admin |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| + | **Research** | ||
| | Logical automated reasoning, SAT, MaxSAT | | | Logical automated reasoning, SAT, MaxSAT | | ||
| Linia 6: | Linia 7: | ||
| - | | [[https:// | ||
| - | [[https:// | ||
| - | [[https:// | ||
| - | [[https:// | ||
| [[https:// | [[https:// | ||
research.txt · ostatnio zmienione: 2020/12/29 13:01 przez admin
Narzędzia strony
Wszystkie treści w tym wiki, którym nie przyporządkowano licencji, podlegają licencji: CC Attribution-Share Alike 4.0 International
