Wkład użytkownika 178.36.189.189
Wygląd
Wyniki dla użytkownika 178.36.189.189 dyskusja blokady rejestry rejestr globalnych blokad rejestr nadużyć
17 cze 2014
- 13:4313:43, 17 cze 2014 różn. hist. +96 SAT (ujednoznacznienie) dodano odnośnik do problemu SAT (problemu spełnialności formuł zdaniowych)