Сортировать по:
| Выпуск | Название | |
| Том 19, № 6 (2012) | Новое доказательство формулы Эйлера | Аннотация PDF (Rus) похожие документы |
| Михаил Иванович Штогрин | ||
| "... It is a new proof of the Euler formula for a convex polyhedron in R³. ..." | ||
| Том 20, № 6 (2013) | Гиперболический тетраэдр: вычисление объема с применением к доказательству формулы Шлефли | Аннотация PDF (Rus) похожие документы |
| Иджад Хакович Сабитов | ||
| "... of its edge lengths. Finally, we give a direct analitic proof of the famous Schläfli formula ..." | ||
| Том 17, № 4 (2010) | Об исчислении позитивно-образованных формул для автоматического доказательства теорем | Аннотация PDF (Rus) похожие документы |
| А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин | ||
| "... The paper deals with an expressive logic language LF and its calculus. Formulas of this language ..." | ||
| Том 20, № 4 (2013) | К теореме Делоне о классификации схождений параллелоэдров в гранях коразмерности 3 | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Магазино | ||
| "... of this result based on Euler formula. Using the classification, we have obtained several further properties ..." | ||
| Том 25, № 4 (2018) | О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» | Аннотация PDF (Rus) похожие документы |
| Валерий Георгиевич Дурнев, Дмитрий Михайлович Мурин, Валерий Анатольевич Соколов, Дмитрий Юрьевич Чалый | ||
| "... The blockchain technology is based on the ”Proof-of-work” principles. The essence ..." | ||
| Том 26, № 4 (2019) | Доказательство свойств дискретных функций с помощью дедуктивного доказательства: приложение к квадратному корню | Аннотация похожие документы |
| Васил Тодоров, Сафуан Таха, Фредерик Буланже, Армандо Эрнандес | ||
| "... for those systems. We think that bringing formal proof in their development can help establishing safety ..." | ||
| Том 26, № 2 (2019) | К вопросу использования «полезных» задач для обеспечения работой блокчейн систем | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Мурин, Владимир Николаевич Князев | ||
| "... Proof-of-work for blockchains” problem. We suggest some alternative ways for searching useful tasks ..." | ||
| Том 28, № 1 (2021) | Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) | Аннотация похожие документы |
| Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков | ||
| "... of formulas for the number of set elements. The system is based on a construction of the statements proof ..." | ||
| Том 23, № 5 (2016) | Полилогарифмы и асимптотика моментов сингулярной функции Лебега | Аннотация PDF (Rus) похожие документы |
| Е. А. Tимофеев | ||
| "... pi ik}{ln 2}, kne 0. $$ The proof is based on analytic techniques such as the poissonization ..." | ||
| Том 17, № 4 (2010) | Пример верификации в проекте F@BOOL@, основанном на булевских решателях | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... that check satis¯ability of prepositional Boolean formulas in the conjunctive normal form) as means ..." | ||
| Том 31, № 1 (2024) | О применении исчисления позитивно-образованных формул для исследования управляемых дискретно-событийных систем | Аннотация PDF (Rus) похожие документы |
| Артем Васильевич Давыдов, Александр Александрович Ларионов, Надежда Владимировна Нагул | ||
| "... of positively constructed formulas (PCF). We consider logical DESs in automata form, understood as generators ..." | ||
| Том 26, № 4 (2019) | Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
| "... истинности условия, можно сосредоточиться на доказательстве его ложности. Ранее нами был разработан способ ..." | ||
| Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
| Томас Баар, Сергей Михайлович Старолетов | ||
| "... the proof is authored in a classical sequent calculus framework and a successful proof requires from ..." | ||
| Том 28, № 4 (2021) | Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX | Аннотация PDF (Rus) похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... review some recent extensions of the proof calculus applied by KeYmaeraX that make formal proofs ..." | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| М. С. Ушакова, А. И. Легалов | ||
| "... language and it has the capability of partial automation of the proof process. However, the method ..." | ||
| Том 20, № 2 (2013) | О поворотах цифровых изображений | Аннотация PDF (Rus) похожие документы |
| Павел Геннадьевич Парфенов | ||
| "... . For images on a rectangular lattice a formula is proposed, which gives approximate values of the components ..." | ||
| Том 19, № 6 (2012) | Дедуктивная верификация протокола скользящего окна | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий | ||
| "... transmission of data over unreliable channels. A formal proof of correctness for this protocol faces ..." | ||
| Том 22, № 3 (2015) | ПЕРЕХОД К ХАОСУ В КОМПЛЕКСНОМ УРАВНЕНИИ ГИНЗБУРГА–ЛАНДАУ С БОЛЬШОЙ ДИСПЕРСИЕЙ ТРЕТЬЕГО ПОРЯДКА | Аннотация похожие документы |
| И. И. Овсянников, Д. В. Тураев, С. В. Зелик | ||
| "... We give an analytic proof of the existence of Shilnikov chaos in complex Ginzburg– Landau equation ..." | ||
| Том 21, № 1 (2014) | Уравнения движения твердого тела с двумя упругими стержнями | Аннотация PDF (Rus) похожие документы |
| Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин | ||
| "... . The rods are modeled by the Euler–Bernoulli beam. The mathematical model is an initial-boundary value ..." | ||
| Том 19, № 6 (2012) | Равномерная асимптотика верхней границы дисперсии для случайного многогранника | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Магазинов | ||
| "... The present paper contains a sketch of the proof of an upper bound for the variance of the number ..." | ||
| Том 28, № 4 (2021) | Рекурсивная проверка включения для рекурсивно определенных подтипов | Аннотация PDF (Rus) похожие документы |
| Ханс Де Нивелле | ||
| "... for efficient implementation of logic. Logical formulas are tree-like structures with many constructors having ..." | ||
| Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
| "... . Minsky machines equipollent Turing machines, and the considered approach also has Turing power. The proof ..." | ||
| Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
| "... requirements are divided into classes, each of which is defined by a pattern — a parametric formula of the DV ..." | ||
| Том 23, № 1 (2016) | Асимптотика моментов функции Такаги | Аннотация PDF (Rus) похожие документы |
| Е. А. Tимофеев | ||
| Том 23, № 2 (2016) | Асимптотика моментов симметричной свертки Бернулли | Аннотация похожие документы |
| Е. А. Tимофеев | ||
| "... Abstract. Asymptotic Formula for the Moments of Bernoulli Convolutions Timofeev E ..." | ||
| Том 17, № 4 (2010) | Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography | Аннотация PDF (Rus) похожие документы |
| , , , , | ||
| "... investigates the possibilities of automated proofs on the correctness of different algorithmic variants. We ..." | ||
| Том 17, № 4 (2010) | Верификация и синтез программ сложения на базе правил корректности операторов | Аннотация PDF (Rus) похожие документы |
| В. И. Шелехов | ||
| "... and proofs are easier and faster than that for program verication. ..." | ||
| Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
| "... to describe a consistent behavior of sensors by three groups of LTL-formulas. They will affect the program ..." | ||
| Том 22, № 5 (2015) | Асимптотика моментов сингулярной функции Лебега | Аннотация PDF (Rus) похожие документы |
| Е. А. Tимофеев | ||
| Том 25, № 6 (2018) | Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня | Аннотация PDF (Rus) похожие документы |
| Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский | ||
| "... , then use this verification as proof-outlines for a manual verification of the algorithm in computer ..." | ||
| Том 27, № 3 (2020) | Обобщение правил вывода для зависимостей соединения в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... ) of the obtained axioms does not cause difficulties, the proof of completeness in general has not been ..." | ||
| Том 20, № 3 (2013) | Оптимальные квадратурные формулы приближенного вычисления криволинейного интеграла первого рода для некоторых классов функций и кривых | Аннотация PDF (Rus) похожие документы |
| Камаридин Тухлиев | ||
| "... In this paper is considered the extreme problem of searching for the optimal quadrature formulas ..." | ||
| Том 18, № 4 (2011) | Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем | Аннотация PDF (Rus) похожие документы |
| Андрей Валентинович Климов | ||
| "... with initial and target sets of states and from the proof that under some conditions the procedure terminates ..." | ||
| Том 20, № 5 (2013) | Оценка числа решетчатых разбиений плоскости на полимино заданной площади | Аннотация PDF (Rus) похожие документы |
| Антон Владимирович Шутов, Екатерина Викторовна Коломейкина | ||
| "... . In the proof of a lower bound we give an explicit construction of required lattice plane tilings. The proof ..." | ||
| Том 21, № 3 (2014) | Об одной оптимальной кубатурной формуле для классов функций, задаваемых модулями непрерывности | Аннотация PDF (Rus) похожие документы |
| Мирганд Шабозович Шабозов | ||
| "... The problem of minimizing the error of a cubature formula on the classes of functions given ..." | ||
| Том 23, № 3 (2016) | Интерполяционные формулы для функций с большими градиен- тами в пограничном слое и их применение | Аннотация похожие документы |
| А. И. Задорин | ||
| "... . Interpolation formulas, which are exact on a boundary layer component, are constructed. Interpolation error ..." | ||
| Том 22, № 3 (2015) | РЕШЕНИЕ ПАРАБОЛИЧЕСКОГО ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ С ПОМОЩЬЮ ФОРМУЛЫ ФЕЙНМАНА – I | Аннотация похожие документы |
| И. Д. Рeмизoв | ||
| "... of this semigroup by a Feynman formula, i.e. we write it in the form of the limit of a multiple integral over H ..." | ||
| Том 20, № 6 (2013) | Автоматическая верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев | ||
| "... their proof. Two programs from the well-known verification benchmarks illustrate the applicability ..." | ||
| Том 24, № 6 (2017) | Элиминация инвариантов финитных итераций над массивами при верификации Си программ | Аннотация похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев | ||
| "... an induction is applied which is a challenge for SMT-solvers. At proof stage the SMT-solver CVC4 is used in our ..." | ||
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| "... are present in the systems with ordinary architectures. The proof of programs correctness is based ..." | ||
| Том 18, № 1 (2011) | Локальная динамика уравнения с сильно запаздывающей обратной связью | Аннотация PDF (Rus) похожие документы |
| Д. В. Глазков | ||
| Том 22, № 1 (2015) | Локальная динамика уравнения второго порядка с большим экспоненциально распределенным запаздыванием и существенным трением | Аннотация PDF (Rus) похожие документы |
| Дмитрий Владимирович Глазков | ||
| "... exponentially distributed delay. The received asymptotic formulas allow us to evidently find characteristics ..." | ||
| Том 21, № 3 (2014) | Об устойчивости состояния равновесия одной модели нейронной сети | Аннотация PDF (Rus) похожие документы |
| Юрий Викторович Богомолов | ||
| "... weight coefficients. An analytic proof of the zero equilibrium state instability for the corresponding ..." | ||
| Том 18, № 3 (2011) | О гипотезе Лассака для выпуклого тела | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| "... . The paper contains a new proof of this statement for n = 2. Also we show that if a translate of $[0,1]^n ..." | ||
| Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... of the Reflex language to annotations simplifies the proof of the correctness of the transformation approach ..." | ||
| Том 30, № 3 (2023) | Алгоритмы для задач об эйлеровом цикле и эйлеровой цепи в кратном графе | Аннотация PDF (Rus) похожие документы |
| Александр Валерьевич Смирнов | ||
| "... структуру исходного графа. В частности, каждому эйлерову маршруту в кратном графе соответствует эйлеров ..." | ||
| Том 31, № 1 (2024) | NP-полнота задачи об эйлеровом маршруте в кратном графе | Аннотация PDF (Rus) похожие документы |
| Александр Валерьевич Смирнов | ||
| Том 25, № 5 (2018) | Этюд об устранении рекурсии | Аннотация похожие документы |
| Николай Вячеславович Шилов | ||
| "... one (with a fixed-size static memory), or as a proof of the functional equivalence between recursive ..." | ||
| Том 18, № 4 (2011) | Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ | Аннотация PDF (Rus) похожие документы |
| Николай Вячеславович Шилов | ||
| Том 30, № 3 (2023) | Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) | Аннотация похожие документы |
| Дмитрий Александрович Кондратьев | ||
| "... results in having to prove too complex formulas in simple cases. Our contribution is a new logic ..." | ||
| Том 17, № 2 (2010) | Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри | Аннотация PDF (Rus) похожие документы |
| М. Г. Доррер | ||
| Том 31, № 1 (2024) | Минимальное покрытие обобщенных типизированных зависимостей включения в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... work, based on a study of the properties of dependencies, a system of axioms was presented with proof ..." | ||
| Том 24, № 4 (2017) | Уточнение свойств центроида дерева | Аннотация PDF (Rus) похожие документы |
| Юрий Анатольевич Белов, Сергей Иванович Вовчок | ||
| "... in the neighborhood of centroid vertices, the definition of which is presented. In the paper, we proposed proofs ..." | ||
| Том 29, № 1 (2022) | LTL-спецификация ограниченных счётчиковых машин | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин | ||
| "... of a program system as a set of formulas of the linear temporal logic LTL, followed by the use ..." | ||
| Том 22, № 2 (2015) | Оценка числа решетчатых разбиений плоскости на центрально-симметричные полимино заданной площади | Аннотация PDF (Rus) похожие документы |
| Антон Владимирович Шутов, Екатерина Викторовна Коломейкина | ||
| "... lattice is a sublattice of Z 2 . It is proved that C1( √ 2)n ≤ Tc(n) ≤ C2n 2 ( √ 2.68)n . In the proof ..." | ||
| Том 20, № 4 (2013) | Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах | Аннотация PDF (Rus) похожие документы |
| Виталий Игоревич Петров, Мария Сергеевна Комар, Евгений Андреевич Кучерявый | ||
| "... implementing a method on passive NFC tags. To proof the concept, software implementation of the described ..." | ||
| Том 24, № 3 (2017) | Замечание об области притяжения стационарного решения одного сингулярно возмущённого параболического уравнения | Аннотация PDF (Rus) похожие документы |
| Михаил Анатольевич Терентьев | ||
| "... the domain of the problem, i.e. this boundary is the true boundary of the attraction domain. The proof ..." | ||
| Том 19, № 1 (2012) | Обобщенное решение одной начально-краевой задачи, возникающей в механике дискретно-континуальных систем | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Кубышкин, Ольга Анатольевна Хребтюгова | ||
| "... for a generalized solution, its uniqueness, the correctness of the problem. An analytical formula for the solution ..." | ||
| Том 25, № 1 (2018) | Уравнение Курамото–Сивашинского. Локальный аттрактор, заполненный неустойчивыми периодическими решениями | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Куликов, Дмитрий Анатольевич Куликов | ||
| "... space. For the periodic solutions which fill the two-dimensional attractor, the asymptotic formulas ..." | ||
| Том 31, № 3 (2024) | Некоторые полиномиальные подклассы задачи об эйлеровом маршруте в кратном графе | Аннотация PDF (Rus) похожие документы |
| Александр Валерьевич Смирнов | ||
| Том 14, № 2 (2007) | О характеристическом наборе коэффициентов черно-белых цифровых изображений, построенных на основе гексагональной решетки | Аннотация PDF (Rus) похожие документы |
| И. А. Каплий, П. Г. Парфенов | ||
| "... The concepts associated with the calculation of Euler's characteristics of images constructed ..." | ||
| Том 20, № 3 (2013) | Семейства гладких рациональных кривых малой степени на многообразиях Фано степени 5 основной серии | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Омелькова | ||
| "... prove that these families are irreducible. The proof of the irreducibility of the families of curves ..." | ||
| Том 31, № 4 (2024) | Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев | ||
| "... formulas, and logical inference is used to prove that the program satisfies the requirements. Control ..." | ||
| Том 25, № 5 (2018) | Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий | ||
| "... and proof of verification conditions corresponding to loops can cause difficulties, because each one must ..." | ||
| Том 22, № 2 (2015) | Полнота динамики значений свойств данных в СУБД DIM | Аннотация PDF (Rus) похожие документы |
| Алексей Николаевич Петров, Вадим Сергеевич Рублев | ||
| "... about the static completeness of data representation in DIM, at the end of the paper the proof ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... , verification, proof of system properties and reduction of bug density. Drawbacks of the approach are also ..." | ||
| Том 24, № 2 (2017) | Анализ типизированных зависимостей включения с неопределенными значениями | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин | ||
| "... . Inaccuracies in the solution of the problem are contained in the statements of axioms and the proof ..." | ||
| Том 29, № 3 (2022) | Тестирование зависимостей и правил вывода в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... as a proof of the feasibility of inference rules, since the process of generalization requires the search ..." | ||
| Том 17, № 3 (2010) | Вариационные неравенства и принцип виртуальных перемещений | Аннотация PDF (Rus) похожие документы |
| Н. А. Демьянков | ||
| "... cone to the weakly compacct and, generally speaking, not convex set Q С V, with nonzero euler ..." | ||
| Том 24, № 5 (2017) | Асимптотическое интегрирование некоторых дифференциальных уравнений в банаховом пространстве | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров | ||
| "... formulas for solutions of the perturbed heat equation. ..." | ||
| Том 28, № 1 (2021) | NP-полнота задачи о минимальном остовном дереве в кратном графе кратности k ≥ 3 | Аннотация PDF (Rus) похожие документы |
| Александр Валерьевич Смирнов | ||
| "... and complete spanning tree of the limited weight. The main result of this article is the proof ..." | ||
| Том 27, № 2 (2020) | Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ | Аннотация PDF (Rus) похожие документы |
| Марк Геннадьевич Гонопольский, Алевтина Борисовна Глонина | ||
| "... task. The paper provides the algorithm and the proof of its correctness. The second one is to find ..." | ||
| Том 27, № 1 (2020) | Исследование свойств АГ-кодов как кодов для защиты от копирования | Аннотация PDF (Rus) похожие документы |
| Владимир Михайлович Деундяк, Денис Владимирович Загуменнов | ||
| "... proved an auxiliary lemma and the proof contains an explicit way to build a coalition and a pirate ..." | ||
| Том 22, № 6 (2015) | Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах | Аннотация PDF (Rus) похожие документы |
| И. В. Марьясов, В. А. Непомнящий | ||
| "... . At the proof stage the SMT-solver Z3 [12] is used. An example which illustrates the application ..." | ||
| Том 19, № 5 (2012) | Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Кропачева, Александр Иванович Легалов | ||
| "... Работа посвящена доказательству корректности параллельных программ на основе аксиоматического ..." | ||
| 1 - 75 из 141 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
