Contradiction separation based dynamic multi-clause synergized automated deduction
- 期刊名称Information Sciences
- 作者Xu, Yang; Liu, Jun; Chen, Shuwei; Zhong, Xiaomei; He, Xingxing
- 卷第462卷
- 印刷ISSN0020-0255
- 文件大小897.64KB
- 发表时间2018-09
- DOI10.1016/j.ins.2018.04.086
- 页码93-113
Результаты лечения больных первичной медиастинальной B-крупноклеточной лимфомой с использованием высокодозной химиотерапии с трансплантацией аутологичных гемопоэтических стволовых клеток кровиВернюк М. А.,Жеребцова В. А.,Карпенко Е. Ю. · Гематология и трансфузиология · 2012
КОНТЕНТ-АНАЛИЗ ВЗАИМНЫХ ОЦЕНОК ПРЕДСТАВИТЕЛЕЙ РАЗНЫХ ГРУПП РЕГИОНАЛЬНОЙ И СУБРЕГИОНАЛЬНОЙ ПОЛИТИЧЕСКИХ ЭЛИТ В РУССКОМ ГОРОДЕ ВТОРОЙ ПОЛОВИНЫ XIX - НАЧАЛА XX ВЕКА (ПО МАТЕРИАЛАМ ТАМБОВСКОЙ ГУБЕРНИИ)КАНИЩЕВ В.В.,КАНИЩЕВ ВЛ.В. · Ineternum · 2011
СРАВНИТЕЛЬНЫЙ АНАЛИЗ РЕЗУЛЬТАТОВ ПРИМЕНЕНИЯ РАЗЛИЧНЫХ ФИЗИОТЕРАПЕВТИЧЕСКИХ МЕТОДИК В ЛЕЧЕНИИ БОЛЬНЫХ ПЕРВИЧНОЙ ОТКРЫТОУГОЛЬНОЙ ГЛАУКОМОЙ НА ФОНЕ ХРОНИЧЕСКОЙ ИШЕМИИ ГОЛОВНОГО МОЗГАКАМЕНСКИХ Т.Г.,РАЙГОРОДСКИЙ Ю.М.,ВЕСЕЛОВА Е.В. · Саратовский научно-медицинский журнал · 2012
От формальной логики эпистемических модальностей к их формальной аксиологии(истина, знание, вера и привычка как ценностные функции от двух переменных в алгебре формальной аксиологии: «Законы контрапозиции» бинарных операций «Истина», «Знание», «Вера» и «Привычка» в этой алгебре)ЛОБОВИКОВ В.О. · Дискурс-Пи · 2010
Анализ экспериментальных исследований поведения металлических гофрированных конструкций под воздействием статических и динамических нагрузок с учетом их совместной работы с окружающим грунтом. Часть 2. Обзор отечественных экспериментальных исследований. Сопоставление результатов эксперимента с результатами расчетов по разным методикамБеляев Вячеслав Семенович,Яковлев Лев Сергеевич,Овчинников Игорь Георгиевич,Осокин Илья Александрович · Интернет-журнал Науковедение · 2013
ВОЗМОЖНОСТИ ОПТИМИЗАЦИИ РЕПАРАТИВНОГО ОСТЕОГЕНЕЗА ПУТЕМ ТРАНСПЛАНТАЦИИ АУТОГЕННЫХ МУЛЬТИПОТЕНТНЫХ МЕЗЕНХИМАЛЬНЫХ СТРОМАЛЬНЫХ КЛЕТОК НА ДЕМИНЕРАЛИЗОВАННОМ КОСТНОМ МАТРИКСЕ ПРИ ЛЕЧЕНИИ ЛОЖНЫХ СУСТАВОВ ТРУБЧАТЫХ КОСТЕЙ (РЕЗУЛЬТАТЫ ОГРАНИЧЕННЫХ КЛИНИЧЕСКИХ ИССЛЕДОВАНИЙ)ЩЕПКИНА Е.А.,КРУГЛЯКОВ П.В.,СОЛОМИН Л.Н. · Клеточная трансплантология и тканевая инженерия · 2010
Методика и результаты длительных экспериментальных исследований кинетики кривизны изгибаемых обычных железобетонных элементов при действии переменной ступенчатой повторной нагрузки в неагрессивной и агрессивной средахМигунов Виктор Николаевич · Интернет-журнал Науковедение · 2014
Культурологический анализ феномена музыкального искусства как методологическое основание исследований по истории музыкального образования в русской начальной школе второй половины XIX – начала ХХ вековРихтер Н. П. · Культура. Духовность. Общество · 2013
Peculiarities of phase behavior of formation fl uid in system «gas treatment unit – underground pipeline»Федулов Дмитрий Михайлович,Кубанов Александр Николаевич,Прокопов Андрей Васильевич,Цацулина Татьяна Семёновна · Вести газовой науки · 2013
ГРАФИКИ РЭБЗАБЕЛИН АЛЕКСАНДР ВЛАДИМИРОВИЧ, АУКУЦИОНЕК СЕРГЕЙ ПАВЛОВИЧ, ДЕМИНА НАТАЛЬЯ ВЛАДИМИРОВНА · Российский экономический барометр · 2013
ГРАФИКИ РЭБАУКУЦИОНЕК СЕРГЕЙ ПАВЛОВИЧ, ДЕМИНА НАТАЛЬЯ ВЛАДИМИРОВНА, ЗАБЕЛИН АЛЕКСАНДР ВЛАДИМИРОВИЧ · Российский экономический барометр · 2013
ГРАФИКИ РЭБЗАБЕЛИН АЛЕКСАНДР ВЛАДИМИРОВИЧ, АУКУЦИОНЕК СЕРГЕЙ ПАВЛОВИЧ, ДЕМИНА НАТАЛЬЯ ВЛАДИМИРОВНА · Российский экономический барометр · 2014
Графики РЭБАукуционек Сергей Павлович,Демина Наталья Владимировна,Забелин Александр Владимирович · Российский экономический барометр · 2015
Графики РЭБАукуционек Сергей Павлович,Дёмина Наталья Владимировна,Забелин Александр Владимирович · Российский экономический барометр · 2015
Графики РЭБАукуционек Сергей Павлович,Дёмина Наталья Владимировна,Забелин Александр Владимирович · Российский экономический барометр · 2015
У ПОШУКАХ ВЛАСНОГО МІФУ: ДО ГЕНЕАЛОГІЇ ТВОРЧОСТІ БРУНО ШУЛЬЦАздобувач кафедри зарубіжної літератури та теорії літератури Інституту філології та соціальних комунікацій, секретар заочного відділення Інституту філології та соціальних комунікацій Бердянського державного педагогічного університету · Вісник Маріупольського державного гуманітарного університету. Сер.: Філологія · 2012
APICAL LEAKAGE OF RESORCINOL-FORMALDEHYDE MATERIALBUBLIY T.D. · Актуальні проблеми сучасної медицини: Вісник української медичної стоматологічної академії · 2013
The assisted death discourse: communicative intentions and their implementationBerezhanska Yu V. · Актуальні проблеми сучасної медицини: Вісник української медичної стоматологічної академії · 2014
VARIANTS OF PERINATAL ANATOMY OF THE INTERNAL FEMALE GENITAL ORGANSPRONIAIEV D.V. · Актуальні проблеми сучасної медицини: Вісник української медичної стоматологічної академії · 2013
CORRELATIVE INTERRELATIONS OF THE VAGUS NERVES IN HUMAN FETUSES AND NEWBORNSHALYCHANSKA O.M.,KHMARA T.V. · Актуальні проблеми сучасної медицини: Вісник української медичної стоматологічної академії · 2013
VAGINAL ASSISTED LAPAROSCOPIC HYSTERECTOMYMAGALOV I. SH.,BAGHIROVA H. F.,ALI AZIM A. · Вісник проблем біології і медицини · 2013
SPECIFIC CHARACTERISTICS OF INNERVATION OF GLUTEAL MUSCLES IN THE HUMAN FETUSES AND NEWBORNSVASYLCHYSHYNA A.V.,KHMARA T.V.,VASYLCHYSHYN YA.M. · Актуальні проблеми сучасної медицини: Вісник української медичної стоматологічної академії · 2013
ЗАГАЛЬНА СПЛАНХНОЛОГіЯСТАРЧЕНКО І.І. · Актуальні проблеми сучасної медицини: Вісник української медичної стоматологічної академії · 2013
Philosophy in the context of higher medical educationYuschenko Y. P.,Filenko B. N. · Вісник проблем біології і медицини · 2014