Օբյեկտ

Վերնագիր: Модификация метода резолюций Робинсона на случай использования встроенных предикатов

Ստեղծողը:

С. А. Нигиян

Տեսակ:

article

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

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

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

1996

Հատոր:

vol. 31

Համար:

№ 5

ISSN:

00002-3043

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

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

Ծածկույթ:

57-68

Ամփոփում:

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

Հրատարակիչ:

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

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

1996-10-18

Ձևաչափ:

pdf

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

oai:arar.sci.am:112110

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

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

Օբյեկտի հավաքածուներ:

Վերջին անգամ ձևափոխված:

Jul 20, 2020

Մեր գրադարանում է սկսած:

Apr 2, 2020

Օբյեկտի բովանդակության հարվածների քանակ:

3

Օբյեկտի բոլոր հասանելի տարբերակները:

https://arar.sci.am/publication/123371

Ցույց տուր նկարագրությունը RDF ձևաչափով:

RDF

Ցույց տուր նկարագրությունը OAI-PMH ձևաչափով։

OAI-PMH

Այս էջը օգտագործում է 'cookie-ներ'։ Ավելի տեղեկատվություն