Wkład użytkownika 178.36.189.189
Dla użytkownika 178.36.189.189 dyskusja blokady rejestry rejestr nadużyć
17 cze 2014
- 14:4314:43, 17 cze 2014 różn. hist. +96 SAT (ujednoznacznienie) dodano odnośnik do problemu SAT (problemu spełnialności formuł zdaniowych)