ՀՀ ԳԱԱ Զեկույցներ =Reports NAS RA

К проблеме ∆-эквивалентности логических программ

Нигиян, С. А. and Хачоян, Л. О. (1999) К проблеме ∆-эквивалентности логических программ. Հայաստանի ԳԱԱ Զեկույցներ, 99 (2). pp. 99-103. ISSN 0321-1339

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
1681Kb

Item Type:Article
Additional Information:Տրամաբանական ծրագրերի ∆-համարժեքության պրոբլեմի մասին։ On the ∆-rquivalence problem for logic programs.
Uncontrolled Keywords:Նիգյան Ս. Ա., Խաչոյան Լ. Յ., Nigiyan S. A., Khatchoyan L. O.
Subjects:Q Science > QA Mathematics
ID Code:6060
Deposited By:NAS Reports
Deposited On:31 May 2013 14:28
Last Modified:13 Mar 2014 08:17

Repository Staff Only: item control page