Object
Title: The powers of the essential subformulaes sets in Frege proofs and substitution Frege proofs
Journal or Publication Title:
Date of publication:
Volume:
ISSN:
Additional Information:
Other title:
Coverage:
Publisher:
Date created:
Format:
Identifier:
oai:arar.sci.am:258384
Location of original object:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Object collections:
Last modified:
Aug 18, 2025
In our library since:
Jul 24, 2020
Number of object content hits:
17
All available object's versions:
https://arar.sci.am/publication/281441
Show description in RDF format:
Show description in OAI-PMH format:
-
ՀՀ ԳԱԱ Շարունակական հրատարակություններ
-
Բնագիտության և տեխնիկայի պատմությունը Հայաստանում=История естествознания и техники в Армении
-
Գրական բանասիրական հետախուզումներ=Литературные разыскания
-
Գրականագիտական հանդես = Литературный журнал = 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
-
Математические вопросы кибернетики и вычислительной техники, 1984
-
Математические вопросы кибернетики и вычислительной техники, 1985
-
Математические вопросы кибернетики и вычислительной техники, 1986
-
Математические вопросы кибернетики и вычислительной техники, 1988
-
Математические вопросы кибернетики и вычислительной техники, 1997
-
Математические вопросы кибернетики и вычислительной техники, 1998
-
Математические вопросы кибернетики и вычислительной техники, 2000
-
Математические вопросы кибернетики и вычислительной техники, 2000, 21
- About minimal interval edge-colouring of a bipartite graphs of a special kind
- A construction for the (n, 4,2) optical orthogonal codes
- A construction of a class of codes correcting probable errors
- Algebraic multilevel/substructuring preconditioner in finite element method with piecewise quadratic approximation
- Cycle-extensions and long cycles in graphs
- Cycle-extensions and long cycles in k-connected graphs
- Demographic structure estimation by mortality rate alteration
- Fast Hadamard transforms of Williamson type
- Generalized B-splines using for hybrid filter design
- Guessing subject to distortion and reliability criteria
- New upper bound on the cardinality of a k-separated set or perfect hash family and a near optimal construction for it
- On branching communication system rates-reliability-distortions region with partial secrecy under distortion criterion
- The powers of the essential subformulaes sets in Frege proofs and substitution Frege proofs
- Random coding bound for E-capacity region of the broadcast channel
- Reliability criterion in successive refinement
- Some statistical methods used by software of the health information general analytic system
- Об одной задаче линейного программирования в условиях неопределенности
- Об одном методе кодирования с использованием преобразования Адамара
- Об одном свойстве решения системы линейных уравнений, полученного обобщенными методами исключения
- Об одном условии представимости показательно-степенной функции в унарах
- О численном решении одного интегрального уравнения типа свертки с суммарно-разностным ядром в задаче диффузионного скольжения
- Система фильтрации изображений на основе унифицированных архитектур процессоров ортогональных преобразований
- Ամփոփումներ
- Բովանդակություն
- Խմբագրական խորհուրդ
- Խմբագրության կողմից
-
Математические вопросы кибернетики и вычислительной техники, 2000, 21
-
Математические вопросы кибернетики и вычислительной техники, 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
-
Mathematical problems of computer science, 2025
-
Математические вопросы кибернетики и вычислительной техники, 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
-
Բնագիտության և տեխնիկայի պատմությունը Հայաստանում=История естествознания и техники в Армении
| Edition name | Date |
|---|---|
| The powers of the essential subformulaes sets in Frege proofs and substitution Frege proofs | Aug 18, 2025 |
