Հրապարակման մանրամասներ:
«ՀՀ ԳԱԱ Տեղեկագիր: Մաթեմատիկա»-ն լույս է տեսնում 1966 թվականից՝ տարին 6 անգամ։
Ամսագրի կամ հրապարակման վերնագիր:
Հրապարակման ամսաթիվ:
Հատոր:
Համար:
ISSN:
Պաշտոնական URL:
Լրացուցիչ տեղեկություն:
սեղմիր այստեղ կապին հետևելու համար
Վերնագիր:
Модификация метода резолюций Робинсона на случай использования встроенных предикатов
Այլ վերնագիր:
Modification of the Robinson's resolution method for built-in predicates.
Ստեղծողը:
Աջակից(ներ):
Գլխավոր խմբ․՝ Մ․ Մ․ Ջրբաշյան (1966-1994) ; Ռ․ Վ․ Համբարձումյան (1994-2009) ; Ա․ Ա․ Սահակյան (2010-)
Խորագիր:
Չվերահսկվող բանալի բառեր:
Ծածկույթ:
Ամփոփում:
К известному правилу резолюции Робинсона добавляется правило унарной резолюции Ru. Правило Ru применяется к дизъюнкту, использующему интерпретированный на эрбрановском универсуме вычислимый предикат. Рассматриваются так называемые разумные ограничения Ru и доказывается полнота модифицированного правила резолюции в случае любых разумных ограничений Ru.
Հրատարակության վայրը:
Երևան
Հրատարակիչ:
Ստեղծման ամսաթիվը:
Տեսակ:
Ձևաչափ:
Դասիչ:
Թվայնացում:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան