Pagini recente » Problema satisfiabilităţii formulelor logice de ordinul doi | Istoria paginii autumn-warmup-2007/clasament/runda-2 | Istoria paginii implica-te/arhiva-educationala | Diferente pentru schimbare-borland/alternativa intre reviziile 1 si 2 | Istoria paginii runda/here_we_go_oni_11-12