Journal or Publication Title:

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

Date of publication:

2012

Volume:

36

ISSN:

0131-4645

Additional Information:

click here to follow the link

Title:

The degree of unsolvability of the completion semantics for general logic programs

Other title:

Ընդհանրացված տրամաբանական ծրագրերի փակման սեմանտիկայի անլուծելիության աստիճանը; Степень неразрешимости семантики замыкания обобщенных логических программ

Creator:

Levon A. Haykazyan

Subject:

Mathematics

Uncontrolled Keywords:

Հայկազյան Լ. ; Айказян Л.

Coverage:

7-12

Publisher:

Изд-во НАН РА

Date created:

2012

Type:

Հոդված

Format:

pdf

Location of original object:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան