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

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

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

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

  3. ФИЛОСОФИЯ В ЕЕ ОТНОШЕНИИ К БУДУЩЕМУ ЧЕЛОВЕЧЕСКОГО РОДА: статья в сборнике статей

    Плотников, В. И., 2012, Эпистемы. 2012. Вып. 7: Онто-гносеологические традиции: истоки и современность: сборник статей. Томюк, О. Н. & Кислов, А. Г. (ред.). Екатеринбург: Издательский Дом «Ажур», стр. 154-164 11 стр.

    Результаты исследований: Глава в книге, отчете, сборнике статей › Глава › Рецензирование

  4. 2013

  5. FAILURE OF INTERPOLATION IN CONSTANT DOMAIN INTUITIONISTIC LOGIC

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

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

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

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

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

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

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

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

  8. MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS

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

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

  9. 2014

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

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

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

  11. On flattening elimination rules

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

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

  12. Model-theoretic characterization of intuitionistic predicate formulas

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

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

  13. 2015

  14. ON THE CORRELATION BETWEEN THE CONCEPTS OF SIN, SEDUCTION, TEMPTATION AND CHARM IN ORTHODOX ANTHROPOLOGY

    MELNIKOVA ELENA V, Е. В., 2015, в: Журнал Сибирского федерального университета. Серия: Гуманитарные науки. 8, 5, стр. 912-918 7 стр.

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

Назад 1 2 3 4 5 6 7 8 ...10 Далее

ID: 46206