81 - 90 из 91Размер страницы: 10
Сортировать по:: Год публикации
  1. 2015

  2. Современное религиозное фэнтези: инверсия этических категорий

    Иванова, Е. В. & Вострецов, Е., 2015, в: Журнал Сибирского федерального университета. Серия: Гуманитарные науки. 8, 8, стр. 1534-1540 7 стр.

    Результаты исследований: Вклад в журнал › Статья › Рецензирование

  3. ФИЛОСОФИЯ КАК ДЕЯТЕЛЬНОСТЬ: УСЛОВИЯ ВОЗМОЖНОСТИ

    Бакеева, Е. В., 2015, в: Исторические, философские, политические и юридические науки, культурология и искусствоведение. Вопросы теории и практики. 12-4(62), стр. 29-33 5 стр.

    Результаты исследований: Вклад в журнал › Статья › Рецензирование

  4. 2014

  5. Model-theoretic characterization of intuitionistic predicate formulas

    Olkhovikov, G. K., авг. 2014, в: Journal of Logic and Computation. 24, 4, стр. 809-829 21 стр.

    Результаты исследований: Вклад в журнал › Статья › Рецензирование

  6. On flattening elimination rules

    Olkhovikov, G. K. & Schroeder-Heister, P., мар. 2014, в: Review of Symbolic Logic. 7, 1, стр. 60-72 13 стр.

    Результаты исследований: Вклад в журнал › Статья › Рецензирование

  7. КРИТИЧЕСКОЕ ОСМЫСЛЕНИЕ ОНТОЛОГИЧЕСКИХ ОСНОВАНИЙ КОНЦЕПЦИИ «СИЛЬНОГО» ИСКУССТВЕННОГО ИНТЕЛЛЕКТА В КОНТЕКСТЕ ПРОБЛЕМАТИКИ ТЕОРИИ ДЕЙСТВИЯ Х. ЙОАСА

    Кляшторный, А. С., 2014, в: Известия Уральского федерального университета. Серия 3: Общественные науки. 125, 1, стр. 106-117

    Результаты исследований: Вклад в журнал › Статья › Рецензирование

  8. 2013

  9. MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS

    Olkhovikov, G. K., июн. 2013, в: Review of Symbolic Logic. 6, 2, стр. 348-365 18 стр.

    Результаты исследований: Вклад в журнал › Статья › Рецензирование

  10. FAILURE OF INTERPOLATION IN CONSTANT DOMAIN INTUITIONISTIC LOGIC

    Mints, G., Olkhovikov, G. & Urquhart, A., 2013, в: Journal of Symbolic Logic. 78, 3, стр. 937-950 14 стр.

    Результаты исследований: Вклад в журнал › Статья › Рецензирование

  11. К ВОПРОСУ ТОЖДЕСТВА КОМПЬЮТЕРНЫХ ПРОГРАММ

    Ламберов, Л. Д. & Кляшторный, А. С., 2013, в: Интеллект. Инновации. Инвестиции. 4, стр. 185-193 9 стр.

    Результаты исследований: Вклад в журнал › Статья › Рецензирование

  12. ФИЛОСОФСКИЙ СМЫСЛ КАРТИНЫ МИРА НЕКЛАССИЧЕСКОЙ НАУКИ

    Bryanik, N. V., 2013, в: Voprosy Filosofii. 1, стр. 93-104 12 стр.

    Результаты исследований: Вклад в журнал › Обзорная статья › Рецензирование

  13. 2012

  14. ДВА ПОДХОДА К ПОСТРОЕНИЮ СЕМАНТИКИ ВОЗМОЖНЫХ МИРОВ

    Касаткин, А. В., 2012, в: Известия Уральского федерального университета. Серия 3: Общественные науки. 1 (100), стр. 32-37

    Результаты исследований: Вклад в журнал › Статья › Рецензирование

Назад 1...5 6 7 8 9 10 Далее

ID: 46206