Atenţie! Aceasta este o versiune veche a paginii, scrisă la 2008-12-09 15:55:03.
Revizia anterioară Revizia următoare
Revizia anterioară Revizia următoare
Problema satisfabilităţii formulelor logice de ordinul doi
(Categoria Structuri de date, Autor Cosmin Negruşeri)