Atenţie! Aceasta este o versiune veche a paginii, scrisă la 2008-12-09 15:55:03.
Revizia anterioară   Revizia următoare  

Problema satisfabilităţii formulelor logice de ordinul doi

(Categoria Structuri de date, Autor Cosmin Negruşeri)