Օբյեկտ
Վերնագիր: Сложность выводимости некоторых пропозициональных формул
Ամսագրի կամ հրապարակման վերնագիր:
Հրապարակման ամսաթիւ:
Հատոր:
Լրացուցիչ տեղեկութիւն:
սեղմիր այստեղ կապին հետևելու համար
Այլ վերնագիր:
Որոշ ասույթային բանաձևերի արտածման բարդությունը
Ծածկոյթ:
Հրատարակիչ:
Ստեղծման ամսաթիւը:
Ձեւաչափ:
Նոյնացուցիչ:
oai:arar.sci.am:258172
Բնօրինակին գտնուելու վայրը:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Օբյեկտի հավաքածուներ:
Վերջին անգամ ձևափոխված:
Dec 8, 2023
Մեր գրադարանում է սկսած:
Jul 24, 2020
Օբյեկտի բովանդակության հարվածների քանակ:
14
Օբյեկտի բոլոր հասանելի տարբերակները:
https://arar.sci.am/publication/281199
Ցույց տուր նկարագրությունը RDF ձևաչափով:
Ցույց տուր նկարագրությունը OAI-PMH ձևաչափով։
-
ՀՀ ԳԱԱ Շարունակական հրատարակություններ
-
Բնագիտության և տեխնիկայի պատմությունը Հայաստանում=История естествознания и техники в Армении
-
Գրական բանասիրական հետախուզումներ=Литературные разыскания
-
Գրականագիտական հանդես = Литературный журнал = Literary Journal
-
Լեզվի և ոճի հարցեր = Вопросы языка и стиля
-
Լեզու և լեզվաբանություն= Язык и языкознание= Language and linguistics
-
ՀՍՍՌ ԳԱ Ն. Մառի անվան լեզվի ինստիտուտ. Աշխատությունների ժողովածու= Институт языка им. Н. Я. Марра АН АрмССР. Сборник трудов
-
Հայոց ցեղասպանության պատմության և պատմագրության հարցեր = Вопросы истории и историографии Геноцида армян=The issues of the history and historiography of the Armenian Genocide
-
ՀՀ ԳԱԱ Շիրակի հայագիտական հետազոտությունների կենտրոն. Գիտական աշխատություններ= Ширакский центр арменоведческих исследований НАН РА. Научные труды = Shirak Centre of Armenological Studies of NAS RA․ Scientific works
-
Շեքսպիրական. Հայկական շեքսպիրյան տարեգիրք (Լրակազմեր) = Шекспиракан. Армянский шекспировский ежегодник
-
Շեքսպիրական. Հայկական շեքսպիրյան տարեգիրք = Шекспиракан. Армянский шекспировский ежегодник
-
Հնագիտության և ազգագրության ինստիտուտի աշխատություններ = Proceedings of the Institute of Archaeology and Ethnography = Труды Института археологии и этнографии
-
Աշխատություններ փիլիսոփայության և իրավունքի ինստիտուտի
-
ԿԱՆԹԵՂ. Գիտական հոդվածների ժողովածու =КАНТЕХ. Научные труды =KANTEGH. Articles
-
«Կաճառ» Գիտական հոդվածների ժողովածու. ՀՀ ԳԱԱ Գիտակրթական միջազգային կենտրոն = ״Качар״ Сборник научных трудов. НАН РА Международный научно-образовательный центр =“Katchar” Collection of Scientific Articles. International Scientific-Educational Center NAS RA
-
ՀՀ ԳԱԱ երիտասարդ գիտաշխատողների հոդվածների ժողովածու= Сборник статей молодых научных сотрудников НАН РА= Collection օf Articles օf the Young Researchers օf NAS RA
-
Ժամանակակից Եվրասիա = Contemporary Eurasia
-
Սոցիալ-տնտեսական զարգացման արդի հիմնախնդիրները Հայաստանի Հանրապետությունում =Современные проблемы социaльно-экономического развития в Республике Армения =The contemporary issues of socioeconomic development in the Republic of Armenia
-
ՀՀ ԳԱԱ Գ. Ս. Դավթյանի անվան հիդրոպոնիկայի պրոբլեմների ինստիտուտ. Հաղորդումներ= Институт проблем гидропоники им. Г. С.Давтяна НАН РА. Сообщения= G. S. Davtyan Institute of Hydroponics Problems NAS RA. Communications
-
Խաղողագործության, գինեգործության և պտղաբուծության հայկական գիտահետազոտական ինստիտուտի աշխատություններ = Труды Армянского научно-исследовательского института виноградарства, виноделия и плодоводства
-
ՀՍՍՌ ԳԱ Հայ բժշկության և բիոլոգիայի պատմության սեկտոր. Աշխատություններ=Сектор истории армянской медицины и биологии АН Арм. ССР. Труды
-
АН СССР-Армянский филиал. Труды биологического института=Բիոլոգիայի ինստիտուտի աշխատություններ =Transactions of the Biological Institute
-
Лаборатория индуцированного мутагенеза растений․ АН Арм. ССР: Институт Экспериментальной биологии. АН Арм. ССР = Բույսերի ինդուկցված մուտագենեզի լաբորատորիա․ ՀՍՍՀ ԳԱ: Փորձարարական կենսաբանության ինստիտուտ․ ՀՍՍՀ ԳԱ
-
АН Армянской ССР. Ботанический сад. Бюллетень=Հայկական ՍՍՌ ԳԱ Բուսաբանական այգի. Բյուլետեն
-
АН Армянской ССР. Бюраканская оптико-механическая лаборатория= ՀՍՍՀ ԳԱ. Բյուրականի օպտիկա-մեխանիկական լաբորատորիա
-
Сборник научных трудов. Флора, растительность и растительные ресурсы.Тахтаджяния=Գիտական աշխատությունների ժողովածու: Հայաստանի ֆլորան, բուսականությունը և բուսական ռեսուրսները: Թախտաջանիա
-
Зоологический сборник = Կենդանաբանական ժողովածու = Zoological Papers
-
Միկրոբիոլոգիական ժողովածու: Գյուղատնտեսական և արդյունաբերական միկրոբիոլոգիայի հարցեր: Միկրոբիոլոգիայի հարցեր = Микробиологический сборник. Вопросы сельскохозяйственной и промышленной микробиологии. Вопросы микробиологии
-
Севанская озерная станция. Труды: Севанская гидробиологическая станция. Труды=Սևանի ջրակենսաբանական կայան. Աշխատություններ
-
Բյուրականի աստղադիտարանի հաղորդումներ: Երևանի աստղադիտարանի բյուլետեն (Լրակազմեր) = Сообщения Бюраканской обсерватории. Бюллетень ереванской Астрономической обсерватории = Contributions from the Burakan observatory. Bulletin of the Erevan astronomical observatory
-
Բյուրականի աստղադիտարանի հաղորդումներ: Երևանի աստղադիտարանի բյուլետեն = Сообщения Бюраканской обсерватории. Бюллетень ереванской Астрономической обсерватории = Contributions from the Burakan observatory. Bulletin of the Erevan astronomical observatory
-
Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science
-
Математические вопросы кибернетики и вычислительной техники, 1963
-
Математические вопросы кибернетики и вычислительной техники, 1964
-
Математические вопросы кибернетики и вычислительной техники, 1965
-
Математические вопросы кибернетики и вычислительной техники, 1966
-
Математические вопросы кибернетики и вычислительной техники, 1968
-
Математические вопросы кибернетики и вычислительной техники, 1972
-
Математические вопросы кибернетики и вычислительной техники, 1975
-
Математические вопросы кибернетики и вычислительной техники, 1979
-
Математические вопросы кибернетики и вычислительной техники, 1982
-
Математические вопросы кибернетики и вычислительной техники, 1982, 10
- Ответственный редактор
- Предисловие
- О классах функций, определяемых временем их вычисления на интеративных сетях
- Логические сети и моноциклические схемы
- О реализации булевых функций в алгорифмических языках при ограничениях на время работы алгорифмов
- Об алгорифмах, перерабатывающих конструктивные кривые в точки
- О классах псевдочисел
- О возможностях кодирования сообщений в различных языках формальной арифметики
- Сложность выводимости некоторых пропозициональных формул
- О сложностных характеристиках выводов в системах исчисления предикатов и формальной арифметики
- О w-митотических, но не btt-митотических рекусивно перечислимых множествах
- Нормальные формы некоторых классов грамматик деревьев
- Резюме
- Содержание
-
Математические вопросы кибернетики и вычислительной техники, 1982, 11
-
Математические вопросы кибернетики и вычислительной техники, 1970
-
Математические вопросы кибернетики и вычислительной техники, 1982, 10
-
Математические вопросы кибернетики и вычислительной техники, 1984
-
Математические вопросы кибернетики и вычислительной техники, 1985
-
Математические вопросы кибернетики и вычислительной техники, 1986
-
Математические вопросы кибернетики и вычислительной техники, 1988
-
Математические вопросы кибернетики и вычислительной техники, 1997
-
Математические вопросы кибернетики и вычислительной техники, 1998
-
Математические вопросы кибернетики и вычислительной техники, 2000
-
Математические вопросы кибернетики и вычислительной техники, 2001
-
Математические вопросы кибернетики и вычислительной техники, 2004
-
Математические вопросы кибернетики и вычислительной техники, 2005
-
Математические вопросы кибернетики и вычислительной техники, 2006
-
Математические вопросы кибернетики и вычислительной техники, 2007
-
Математические вопросы кибернетики и вычислительной техники, 2008
-
Математические вопросы кибернетики и вычислительной техники, 2009
-
Математические вопросы кибернетики и вычислительной техники, 2010
-
Математические вопросы кибернетики и вычислительной техники, 2011
-
Математические вопросы кибернетики и вычислительной техники, 2012
-
Математические вопросы кибернетики и вычислительной техники, 2013
-
Математические вопросы кибернетики и вычислительной техники, 2014
-
Математические вопросы кибернетики и вычислительной техники, 2015
-
Математические вопросы кибернетики и вычислительной техники, 2016
-
Математические вопросы кибернетики и вычислительной техники, 2017
-
Математические вопросы кибернетики и вычислительной техники, 2018
-
Математические вопросы кибернетики и вычислительной техники, 2019
-
Математические вопросы кибернетики и вычислительной техники, 2020
-
Математические вопросы кибернетики и вычислительной техники, 2021
-
Математические вопросы кибернетики и вычислительной техники, 2022
-
Математические вопросы кибернетики и вычислительной техники, 2023
-
Mathematical problems of computer science, 2024
-
Математические вопросы кибернетики и вычислительной техники, 1963
-
Сообщения института математики и механики= Մաթեմատիկայի և մեխանիկայի ինստիտուտի հաղորդումներ= Bulletin of the Institute of Mathematics and Mechanics
-
Գեոմեխանիկայի պրոբլեմներ =Проблемы геомеханики =Problems of geomechanics Գեոմեխանիկայի
-
Бюллетень по инженерной сейсмологии = Բյուլետեն ինժեներային սեյսմոլոգիայի
-
Труды ботанического института Академии наук Армянской ССР=Աշխատություններ Հայկական ՍՍՌ Գիտությունների ակադեմիայի բուսաբանական ինստիտուտի=Acta Instituti Botanici Academiae Scientiarum SSR Armeniae
-
Труды геологического института=Երկրաբանական ինստիտուտի աշխատություններ
-
Записки всесоюзного минералогического общества. Армянское отделение =Համամիութենական միներալոգիական ընկերության հայկական բաժանմունքի զեկուցագրեր
-
Ցեղասպանագիտական հանդես
-
Հասարակագիտական միտքը արդի ժամանակաշրջանում
-
Արեւելաասիական ուսումնասիրություններ=Eastern Asian Studies
-
ՀՀ ԳԱԱ Հ. Աճառյանի անվան լեզվի ինստիտուտի տեղեկագիրք=Directory of Institute of Language After H. Acharyan=Ведомости института языка имени Р. Ачаряна
-
Հայկական ՍՍՌ ԳԱ Ֆիզիոլոգիայի ինստիտուտ. Աշխատություններ: Բարձրագույն ներվային գործունեության հարցեր = Институт Физиологии АН Арм. ССР. Труды. Вопросы высшей нервной деятельности
-
International Journal of Armenian Genocide Studies=Հայոց ցեղասպանության ուսումնասիրության միջազգային հանդես
-
«Լոռե բերդից մինչև Ստեփանավան. պատմամշակութային ժառանգության հետքերով» և «ՀՀ ԳԱԱ պատմության ինստիտուտի երիտասարդ գիտաշխատողների խորհրդի XLIII գիտական նստաշրջան՝ նվիրված Սիմոն Կրկյաշարյանի ծննդյան 100-ամյակին»
-
Հայագիտական ընթերցումներ. Գիտական հոդվածների ժողովածու=Арменоведческие чтения. Сборник научных трудов=Armenological readings. Collection of scientific articles
-
Բնագիտության և տեխնիկայի պատմությունը Հայաստանում=История естествознания и техники в Армении
| Հրատարակության անուն | Ամսաթիվ |
|---|---|
| Сложность выводимости некоторых пропозициональных формул | Dec 8, 2023 |
