Հրապարակման մանրամասներ:

«ՀՀ ԳԱԱ Տեղեկագիր: Մաթեմատիկա»-ն լույս է տեսնում 1966 թվականից՝ տարին 6 անգամ։

Ամսագրի կամ հրապարակման վերնագիր:

ՀՀ ԳԱԱ Տեղեկագիր: Մաթեմատիկա =Известия НАН Армении: Математика =Proceedings of the NAS Armenia: Mathematics

Հրապարակման ամսաթիվ:

1996

Հատոր:

31

Համար:

5

ISSN:

00002-3043

Պաշտոնական URL:

Լրացուցիչ տեղեկություն:

կապին հետեւելուն համար սեղմէ հոս

Այլ վերնագիր:

Modification of the Robinson's resolution method for built-in predicates.

Աջակից(ներ):

Գլխավոր խմբ․՝ Մ․ Մ․ Ջրբաշյան (1966-1994) ; Ռ․ Վ․ Համբարձումյան (1994-2009) ; Ա․ Ա․ Սահակյան (2010-)

Ծածկույթ:

57-68

Ամփոփում:

К известному правилу резолюции Робинсона добавляется правило унарной резолюции Ru. Правило Ru применяется к дизъюнкту, использующему интерпретированный на эрбрановском универсуме вычислимый предикат. Рассматриваются так называемые разумные ограничения Ru и доказывается полнота модифицированного правила резолюции в случае любых разумных ограничений Ru.

Հրատարակության վայրը:

Երևան

Հրատարակիչ:

Հայաստանի ԳԱԱ

Ստեղծման ամսաթիվը:

1996-10-18

Ձևաչափ:

pdf

Նույնացուցիչ:

oai:arar.sci.am:112110

Դասիչ:

АЖ 411

Թվայնացում:

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

Բնօրինակի գտնվելու վայրը:

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