Саркисян Лусине Арамаисовна

Публикации в базе данных Math-Net.Ru

1. On $SLDNF$-resolution in logic programming with negation
   
   Уч. записки ЕГУ, сер. Физика и Математика, 2011, № 3,  40–46