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

С. А. Нигиян; Л. О. Хачоян

Օբյեկտ

Հրատարակության անուն

Ամսաթիվ

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

Oct 11, 2024

Օբյեկտի տեսակ՝

Նման

Solving deconvolution type problems by wavelet decomposition methods

E. P. Serrano M. I. Troparevsky M. A. Fabio Գլխավոր խմբ․՝ Մ․ Մ․ Ջրբաշյան (1966-1994) Ռ․ Վ․ Համբարձումյան (1994-2009) Ա․ Ա․ Սահակյան (2010-)

Հոդված

Benchmarking of GPU NVIDIA CUDA, CUBLAS and MAGMA Libraries Based on Matrix Multiplication Problem

Edita E. Gichunts

Հոդված

Интерпретация и преобразование логических программ

С. А. Нигиян Л. О. Хачоян Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) Մ․ Մ․ Ջրբաշյան (1960-1965) Ա․ Գ․ Նազարով (1966-1983) Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) Վ․ Ս․ Զաքարյան (2005-2018) Ռ․ Մ․ Մարտիրոսյան (2018-)

Հոդված

К логической трактовке процедурного программирования

С. А. Нигиян Л. О. Хачоян А. В. Нигиян Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) Մ․ Մ․ Ջրբաշյան (1960-1965) Ա․ Գ․ Նազարով (1966-1983) Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) Վ․ Ս․ Զաքարյան (2005-2018) Ռ․ Մ․ Մարտիրոսյան (2018-)

Հոդված

Оптимизация систем логического программирования посредством преобразований их программ

С. А. Нигиян Л. О. Хачоян В. Р. Акопян Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) Մ․ Մ․ Ջրբաշյան (1960-1965) Ա․ Գ․ Նազարով (1966-1983) Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) Վ․ Ս․ Զաքարյան (2005-2018) Ռ․ Մ․ Մարտիրոսյան (2018-)

Հոդված

Ավելին

Օբյեկտ

Վերնագիր: К проблеме ∆-эквивалентности логических программ

Creator:

Type:

Publication Details:

Journal or Publication Title:

Date of publication:

Volume:

Number:

ISSN:

Official URL:

Additional Information:

Other title:

Contributor(s):

Coverage:

Place of publishing:

Publisher:

Date created:

Format:

Identifier:

Call number:

Digitization:

Location of original object:

Խորագիր և բանալի բառեր:

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

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

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

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

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

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

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

Օբյեկտի տեսակ՝

Նման

Կապի մանրամասներ

Հասցե

Հեռախոս

Էլ․ փոստ

Այցելեք մեզ։