Օբյեկտ
Վերնագիր: On the formalization of scientific theories
Ծածկույթ:
Հրատարակիչ:
Ստեղծման ամսաթիվը:
Ձևաչափ:
Նույնացուցիչ:
oai:arar.sci.am:258758
Ամսագրի կամ հրապարակման վերնագիր:
Հրապարակման ամսաթիվ:
Հատոր:
ISSN:
Բնօրինակի գտնվելու վայրը:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Օբյեկտի հավաքածուներ:
Վերջին անգամ ձևափոխված:
Aug 27, 2020
Մեր գրադարանում է սկսած:
Jul 24, 2020
Օբյեկտի բովանդակության հարվածների քանակ:
0
Օբյեկտի բոլոր հասանելի տարբերակները:
https://arar.sci.am/publication/281867
Ցույց տուր նկարագրությունը RDF ձևաչափով:
Ցույց տուր նկարագրությունը OAI-PMH ձևաչափով։
-
НАН РА. Математические вопросы кибернетики и вычислительной техники=Mathematical problems of computer science
-
Математические вопросы кибернетики и вычислительной техники, 1963
-
Математические вопросы кибернетики и вычислительной техники, 1964
-
Математические вопросы кибернетики и вычислительной техники, 1965
-
Математические вопросы кибернетики и вычислительной техники, 1966
-
Математические вопросы кибернетики и вычислительной техники, 1968
-
Математические вопросы кибернетики и вычислительной техники, 1970
-
Математические вопросы кибернетики и вычислительной техники, 1972
-
Математические вопросы кибернетики и вычислительной техники, 1975
-
Математические вопросы кибернетики и вычислительной техники, 1979
-
Математические вопросы кибернетики и вычислительной техники, 1982
-
Математические вопросы кибернетики и вычислительной техники, 1984
-
Математические вопросы кибернетики и вычислительной техники, 1985
-
Математические вопросы кибернетики и вычислительной техники, 1986
-
Математические вопросы кибернетики и вычислительной техники, 1988
-
Математические вопросы кибернетики и вычислительной техники, 1997
-
Математические вопросы кибернетики и вычислительной техники, 1998
-
Математические вопросы кибернетики и вычислительной техники, 2000
-
Математические вопросы кибернетики и вычислительной техники, 2001
-
Математические вопросы кибернетики и вычислительной техники, 2004
-
Математические вопросы кибернетики и вычислительной техники, 2005
-
Математические вопросы кибернетики и вычислительной техники, 2006
-
Математические вопросы кибернетики и вычислительной техники, 2007
-
Математические вопросы кибернетики и вычислительной техники, 2008
-
Математические вопросы кибернетики и вычислительной техники, 2009
-
Математические вопросы кибернетики и вычислительной техники, 2010
-
Математические вопросы кибернетики и вычислительной техники, 2011
-
Математические вопросы кибернетики и вычислительной техники, 2012
-
Математические вопросы кибернетики и вычислительной техники, 2012, 36
-
Математические вопросы кибернетики и вычислительной техники, 2012, 37
-
Математические вопросы кибернетики и вычислительной техники, 2012, 38
- About order 3 hypergroups over group which arise from groups of order 18
- Advanced combinatorial optimization
- A fixed point theorem for q-lattices
- Algebras with fuzzy operations
- Distributivity in symmetric constructive full lambek calculus
- Dynamic geometry of some polynomials
- Extensions of Markov`s constructive continuum and uniform continuity of constructive functions
- Igor D. Zaslavsky
- Information-theoretic approach to biometric identification problem
- Many hypotheses parallel distributed detection of the pair of families of probability distributions
- Membership functions or α-cuts? Algorithmic (constructivist) analysis justifies an interval approach
- Modeling FIFO queues by dynamic Petri Nets
- On a neo-logicistic conception of natural number
- On a property of the n-dimensional cube
- On hypergraph degree sequence characterisation
- On long cycles in digraphs with the meyniel-type conditions
- On medial-like functional equations
- On models of meaning processing
- On random coding bound for E-capacity region of the broadcast channel with confidential messages
- On some systems of minimal propositional logic with loop detection mechanisms
- On the algebras with hyperidentities of the variety of de Morgan Algebras.
- On the formalization of scientific theories
- On the hierarchies of some propositional systems for classical and non-classical logics
- On turing completeness of one minimal set of built-in functions for functional programming languages
- Partition and coloring in design of quasigroup equipped error-detecting codes
- Pauly matrix and transformation operators for dirac system
- Remarks on evolutionary hamiltonian graph theory
- Rules for authors
- Some new propositional proof systems for intuitionistic and minimal logics
- Асимметрия и ядро кодированного метрического пространства
- Зависимость бесконечномерных гомотопических групп от выбора базисной точки
- Максимальное взвешенное независимое множество прямоугольников
- Новые логические связки в суперинтуиционистских логиках; подход П. С. Новикова
- Об асимптотических оценках числа решений систем булевых уравнений с зависимыми переменными
- Общее решение симметрических уравнений с четной степенью в свободном моноиде
- О методе нахождения точных оценок длин выводов в системах Туэ
- О минимальных и максимально тупиковых n-распознающих системах натуральных чисел
- О некоторых нелинейных бесконечных систем алгебраических уравнений с матрицами типа теплица-ганкеля
- О представлении β-равномерных алгебр
- О стратификации множества отображений групп
- О структуре Ric-полусимметрических подмногообразий
- О существовании композиций для бесконечномерной вещественной знакопеременной квадратичной формы
- Свободные А-биполугруппы
- Содержание
- Խմբագրական խորհուրդ
- Խմբագրության կողմից
-
Математические вопросы кибернетики и вычислительной техники, 2012, 36
-
Математические вопросы кибернетики и вычислительной техники, 2013
-
Математические вопросы кибернетики и вычислительной техники, 2014
-
Математические вопросы кибернетики и вычислительной техники, 2015
-
Математические вопросы кибернетики и вычислительной техники, 2016
-
Математические вопросы кибернетики и вычислительной техники, 2017
-
Математические вопросы кибернетики и вычислительной техники, 2018
-
Математические вопросы кибернетики и вычислительной техники, 2019
-
Математические вопросы кибернетики и вычислительной техники, 2020
-
Математические вопросы кибернетики и вычислительной техники, 1963
| Հրատարակության անուն | Ամսաթիվ |
|---|---|
| On the formalization of scientific theories | Aug 27, 2020 |
