| |||
| логическая выполнимость (ssn) | |||
| выполнимость булевых формул (Alex_Odeychuk) | |||
|
boolean satisfiability : 4 do fraz, 3 tematyki |
| Logika | 1 |
| Programowanie | 2 |
| Sztuczna inteligencja | 1 |
| |||
| логическая выполнимость (ssn) | |||
| выполнимость булевых формул (Alex_Odeychuk) | |||
|
boolean satisfiability : 4 do fraz, 3 tematyki |
| Logika | 1 |
| Programowanie | 2 |
| Sztuczna inteligencja | 1 |