TY - BOOK AU - Rata, Metodie TI - Inexistenta algoritmilor de recunoastere a expresibilitatii sintactice in calcule logice PY - 2004/// CY - Pitesti PB - Ed. Univ. Din Pitesti ER -