Сортировать по:
| Выпуск | Название | |
| Том 28, № 4 (2021) | Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX | Аннотация PDF (Rus) похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... , respectively. KeYmaeraX supports only variables having the primitive type bool or real. Due to the mixture ..." | ||
| Том 17, № 4 (2010) | Пример верификации в проекте F@BOOL@, основанном на булевских решателях | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... statements speci¯ed by man about the properties of the programs being translated. The purpose of the F@BOOL ..." | ||
| Том 19, № 6 (2012) | Новое доказательство формулы Эйлера | Аннотация PDF (Rus) похожие документы |
| Михаил Иванович Штогрин | ||
| "... It is a new proof of the Euler formula for a convex polyhedron in R³. ..." | ||
| Том 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 ..." | ||
| Том 20, № 6 (2013) | Гиперболический тетраэдр: вычисление объема с применением к доказательству формулы Шлефли | Аннотация PDF (Rus) похожие документы |
| Иджад Хакович Сабитов | ||
| "... of its edge lengths. Finally, we give a direct analitic proof of the famous Schläfli formula ..." | ||
| Том 21, № 3 (2014) | Об устойчивости состояния равновесия одной модели нейронной сети | Аннотация PDF (Rus) похожие документы |
| Юрий Викторович Богомолов | ||
| "... . Previously, the features of the model dynamics were numerically analyzed and the stability of various dynamic ..." | ||
| Том 21, № 3 (2014) | Устойчивость непрерывных волн для модели FDML лазера | Аннотация PDF (Rus) похожие документы |
| Александра Андреевна Кащенко | ||
| "... The problem of existense and stability of continuous wave (CW) solutions R exp(iΛt) of a Fourier ..." | ||
| Том 24, № 3 (2017) | Замечание об области притяжения стационарного решения одного сингулярно возмущённого параболического уравнения | Аннотация PDF (Rus) похожие документы |
| Михаил Анатольевич Терентьев | ||
| "... to exchange of stabilities, the stationary solution approaches the non-smooth (but continuous ..." | ||
| Том 22, № 3 (2015) | УСТОЙЧИВОСТЬ НЕПРЕРЫВНЫХ ВОЛН ДЛЯ МОДЕЛИ ПОЛУПРОВОДНИКОВОГО ЛАЗЕРА С БОЛЬШИМ ЗАПАЗДЫВАНИЕМ | Аннотация PDF (Rus) похожие документы |
| А. А. Кащенко | ||
| "... In this paper the problem of existence and stability of continuous waves in a semiconductor laser ..." | ||
| Том 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 ..." | ||
| Том 17, № 4 (2010) | Об исчислении позитивно-образованных формул для автоматического доказательства теорем | Аннотация PDF (Rus) похожие документы |
| А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин | ||
| "... calculus JF and complete strategy for automated proof search based on a single unary rule of inference ..." | ||
| Том 28, № 1 (2021) | Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) | Аннотация похожие документы |
| Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков | ||
| "... to the concept of a set, operations on sets, algebra of sets, proofs of statements for sets, and the derivation ..." | ||
| Том 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 ..." | ||
| Том 19, № 6 (2012) | Равномерная асимптотика верхней границы дисперсии для случайного многогранника | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Магазинов | ||
| "... The present paper contains a sketch of the proof of an upper bound for the variance of the number ..." | ||
| Том 23, № 5 (2016) | Об отсутствии и разрушении решений в некоторых сингулярно возмущённых задачах со сменой устойчивости | Аннотация PDF (Rus) похожие документы |
| М. А. Терентьев | ||
| "... intersecting roots (this case is also referred to as ‘ the exchange of stabilities’). Such problems often occur ..." | ||
| Том 23, № 6 (2016) | Динамика системы из двух простейших автогенераторов с нелинейными финитными обратными связями | Аннотация PDF (Rus) похожие документы |
| А. А. Кащенко | ||
| "... of relaxation periodic solutions and make conclusion about their stability. With the help of the special method ..." | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| М. С. Ушакова, А. И. Легалов | ||
| "... language and it has the capability of partial automation of the proof process. However, the method ..." | ||
| Том 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. ..." | ||
| Том 20, № 6 (2013) | Релаксационные циклы в обобщенной нейронной модели с двумя запаздываниями | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Елена Александровна Марушкина | ||
| "... of the succession operator, made in the paper, allows us to prove the uniqueness and stability of the resulting ..." | ||
| Том 21, № 4 (2014) | Устойчивость в задаче поиска минимального разреза в графе | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович Козлов | ||
| "... perturbation of the input parameters that do not exceed a certain threshold – the stability radius. In [1–3 ..." | ||
| Том 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 ..." | ||
| Том 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 ..." | ||
| Том 20, № 6 (2013) | Автоматическая верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев | ||
| "... their proof. Two programs from the well-known verification benchmarks illustrate the applicability ..." | ||
| Том 19, № 6 (2012) | Непрерывное уплощение правильного тетраэдра точными отображениями | Аннотация PDF (Rus) похожие документы |
| Джин-ичи Ито, Чи Нара | ||
| "... В статье [10] нами доказано, что любой правильный многогранник P допускает непрерывное ..." | ||
| Том 31, № 2 (2024) | Математические свойства агентной модели вымирания — реколонизации для популяционной генетики | Аннотация PDF (Rus) похожие документы |
| Никита Владимирович Гаянов | ||
| "... Агентная модель описывает динамику генетического разнообразия непрерывно распределенной популяции в ..." | ||
| Том 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 ..." | ||
| Том 19, № 2 (2012) | Предельная степень апериодической устойчивости линейных систем и выбор параметров промышленных регуляторов | Аннотация PDF (Rus) похожие документы |
| Александр Владимирович Татаринов, Анатолий Михайлович Цирлин | ||
| "... The problem of a limiting degree of linear system stability is investigated. The conditions ..." | ||
| Том 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 ..." | ||
| Том 14, № 2 (2007) | Устойчивость одной модели нейрона на основе уравнения с запаздыванием | Аннотация PDF (Rus) похожие документы |
| Ю. В. Богомолов | ||
| "... -autogenerator dynamics. The stability of the periodical solution of the equation with certain param¬eters ..." | ||
| Том 24, № 5 (2017) | Устойчивость решений дискретных краевых задач для уравнения двумерной фильтрации | Аннотация PDF (Rus) похожие документы |
| Сергей Александрович Кащенко | ||
| "... The stability of the solutions of the linear equations arising in the theory of twodimensional ..." | ||
| Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
| "... . Minsky machines equipollent Turing machines, and the considered approach also has Turing power. The proof ..." | ||
| Том 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) похожие документы |
| Николай Вячеславович Шилов | ||
| Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
| "... requirements satisfying the same pattern have the same proof scheme. At the third step, appropriate proof ..." | ||
| Том 20, № 4 (2013) | К теореме Делоне о классификации схождений параллелоэдров в гранях коразмерности 3 | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Магазино | ||
| "... , an octahedron, a triangular prism, or a parallelepiped. The present paper contains a new combinatorial proof ..." | ||
| Том 31, № 1 (2024) | Минимальное покрытие обобщенных типизированных зависимостей включения в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... work, based on a study of the properties of dependencies, a system of axioms was presented with proof ..." | ||
| Том 28, № 4 (2021) | Рекурсивная проверка включения для рекурсивно определенных подтипов | Аннотация PDF (Rus) похожие документы |
| Ханс Де Нивелле | ||
| Том 24, № 4 (2017) | Уточнение свойств центроида дерева | Аннотация PDF (Rus) похожие документы |
| Юрий Анатольевич Белов, Сергей Иванович Вовчок | ||
| "... in the neighborhood of centroid vertices, the definition of which is presented. In the paper, we proposed proofs ..." | ||
| Том 19, № 5 (2012) | Формирование волнового нанорельефа при распылении поверхности ионной бомбардировкой. Нелокальная модель эрозии | Аннотация PDF (Rus) похожие документы |
| Дмитрий Анатольевич Куликов, Александр Степанович Рудый | ||
| Том 21, № 3 (2014) | Вычисление ляпуновской величины для логистического уравнения с быстро осциллирующим запаздыванием | Аннотация PDF (Rus) похожие документы |
| Надежда Дмитриевна Быкова | ||
| "... . The criterion of equilibrium point stability was obtained in both cases. Dynamical properties of the original ..." | ||
| Том 21, № 1 (2014) | Применение принципа усреднения к логистическому уравнению с быстро осциллирующим запаздыванием | Аннотация PDF (Rus) похожие документы |
| Надежда Дмитриевна Быкова, Елена Викторовна Григорьева | ||
| "... is a logistic equation with two delays. The criterion of equilibrium point stability was obtained. Dynamical ..." | ||
| Том 26, № 3 (2019) | Динамическая модель развития пиринговой файлообменной сети | Аннотация PDF (Rus) похожие документы |
| Александра Игоревна Кононова, Лариса Геннадьевна Гагарина | ||
| "... of each configuration are represented. The ratio of parameters necessary for the stability of the tracker ..." | ||
| Том 16, № 3 (2009) | Работы Ю.С. Колесова по дифференциальным уравнениям | Аннотация PDF (Rus) похожие документы |
| В. Ш. Бурд | ||
| Том 24, № 5 (2017) | Бифуркации пространственно неоднородных решений в одной краевой задаче для обобщенного уравнения Курамото–Сивашинского | Аннотация PDF (Rus) похожие документы |
| Алина Вадимовна Секацкая | ||
| "... of their stability changes. It is shown that the inhomogeneous surface relief can occur when the stability ..." | ||
| Том 25, № 4 (2018) | Динамическая модель процессов информационных обменов в пиринговой сети | Аннотация PDF (Rus) похожие документы |
| Александра Игоревна Кононова | ||
| "... are represented. The influence of various administrative measures on a stock of distribution stability is analysed ..." | ||
| Том 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 ..." | ||
| Том 19, № 3 (2012) | Устойчивость простейших периодических решений в уравнении Стюарта–Ландау с большим запаздыванием | Аннотация PDF (Rus) похожие документы |
| Александра Андреевна Кащенко | ||
| "... conditions of their stability. ..." | ||
| Том 18, № 3 (2011) | Устойчивость бегущих волн в уравнении Гинзбурга-Ландау с малой диффузией | Аннотация PDF (Rus) похожие документы |
| Александра Андреевна Кащенко | ||
| "... of their stability. ..." | ||
| Том 23, № 3 (2016) | Существование и устойчивость периодических решений уравнения реакция-диффузия в двумерном случае | Аннотация похожие документы |
| Н. Н. Нефедов, Е. И. Никулин | ||
| "... . The Lyapunov asymptotical stability of the solution was proved by using the method of contracting barriers ..." | ||
| Том 25, № 2 (2018) | Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам | Аннотация PDF (Rus) похожие документы |
| Татьяна Рудольфовна Шмелёва | ||
| "... . A comparative analysis of the computing grids stability was carried out with nodes which implement the store ..." | ||
| Том 31, № 1 (2024) | О применении исчисления позитивно-образованных формул для исследования управляемых дискретно-событийных систем | Аннотация PDF (Rus) похожие документы |
| Артем Васильевич Давыдов, Александр Александрович Ларионов, Надежда Владимировна Нагул | ||
| Том 20, № 3 (2013) | Семейства гладких рациональных кривых малой степени на многообразиях Фано степени 5 основной серии | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Омелькова | ||
| "... prove that these families are irreducible. The proof of the irreducibility of the families of curves ..." | ||
| Том 23, № 5 (2016) | Полилогарифмы и асимптотика моментов сингулярной функции Лебега | Аннотация PDF (Rus) похожие документы |
| Е. А. Tимофеев | ||
| "... pi ik}{ln 2}, kne 0. $$ The proof is based on analytic techniques such as the poissonization ..." | ||
| Том 21, № 5 (2014) | О числе сосуществующих автоволновых решений цепочки диффузионно связанных осцилляторов нейронного типа | Аннотация PDF (Rus) похожие документы |
| Юрий Викторович Богомолов, Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов | ||
| Том 21, № 2 (2014) | Неклассические релаксационные колебания в нейродинамике | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
| "... . The existence and stability of a nonclassical relaxation cycle in this system are studied. The slow component ..." | ||
| Том 21, № 1 (2014) | Асимптотика установившихся режимов конечно-разностных аппроксимаций логистического уравнения с запаздыванием и с малой диффузией | Аннотация PDF (Rus) похожие документы |
| Сергей Александрович Кащенко, Валерий Евгеньевич Фролов | ||
| Том 26, № 3 (2019) | Новый подход к моделированию генных сетей | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
| "... and stability problem of a relaxation periodic solution that is invariant with respect to cyclic permutations ..." | ||
| Том 22, № 2 (2015) | Исследование устойчивости решений начально-краевой задачи, моделирующей динамику одной дискретно-континуальной механической системы | Аннотация PDF (Rus) похожие документы |
| Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин | ||
| "... The solution stability of an initial boundary problem for a linear hybrid system of differential ..." | ||
| Том 22, № 5 (2015) | Одномодовые и двухмодовые неоднородные диссипативные структуры в нелокальной модели эрозии | Аннотация PDF (Rus) похожие документы |
| А. М. Ковалева, Д. А. Куликов | ||
| "... that the nonhomogeneous surface relief can occur when the stability of the homogeneous states of equilibrium changes ..." | ||
| Том 25, № 3 (2018) | Динамика распределения популяции по ареалам | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Кириллов, Инна Владимировна Данилова | ||
| "... . The Lyapunov stability condition for the Boltzmann distribution is obtained.The utility functions ..." | ||
| Том 25, № 5 (2018) | Неупорядоченные колебания в нейросети из трех осцилляторов с запаздывающей вещательной связью | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Елена Александровна Марушкина | ||
| "... is considered. It is assumed that the parameters of the problem are chosen near the critical point of stability ..." | ||
| Том 22, № 5 (2015) | Анализ локальных бифуркаций для уравнения с запаздыванием, зависящим от искомой функции | Аннотация PDF (Rus) похожие документы |
| В. О. Голубенец | ||
| "... at the linear part of this decomposition has two critical values which determine a stability domain of zero ..." | ||
| Том 25, № 5 (2018) | Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий | ||
| "... and proof of verification conditions corresponding to loops can cause difficulties, because each one must ..." | ||
| Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
| "... satisfaction proof for the constructed model occurs with the condition that the model contains only ..." | ||
| Том 22, № 2 (2015) | Полнота динамики значений свойств данных в СУБД DIM | Аннотация PDF (Rus) похожие документы |
| Алексей Николаевич Петров, Вадим Сергеевич Рублев | ||
| "... about the static completeness of data representation in DIM, at the end of the paper the proof ..." | ||
| 1 - 75 из 174 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
