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

  2. Truth and Justification in Knowledge Representation

    Родин, А. В. & Ковалёв, С., 2019, Proceedings of the 7th International Workshop "What can FCA do for Artificial Intelligence"?. (CEUR Workshop Proceedings; том 2529).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

  3. Знания и их представление в компьютерную эпоху

    Родин, А. В. & Ковалёв, С., 2019, в: ЧЕЛОВЕК. 30, 4, стр. 94-112 16 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  4. 2018

  5. On the constructive axiomatic method

    Родин, А. В., июн 2018, в: Logique et Analyse. 61, 242, стр. 201-231 31 стр.

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

  6. Rules versus Axioms: a Constructive View of Theories

    Родин, А. В., 2018, Handbook of 6th World Congress and School on Universal Logic (June 16-26, 2018, Vichy, France), Université Clermont Auvergne, 2018. Beziau, J-Y. (ред.). Clermont Auvergne, стр. 541-542 1 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › тезисы в сборнике материалов конференции › научная › Рецензирование

  7. Two “Styles” of axiomatization: Rules versus Axioms. A Modern Perspective

    Родин, А. В., 2018, в: Bulletin of Symbolic Logic. 24, 2, стр. 263-264 2 стр.

    Результаты исследований: Научные публикации в периодических изданиях › тезисы › Рецензирование

  8. Univalent Foundations and the Constructive View of Theories

    Родин, А. В., 2018, Логико-философские штудии, 16, 1-2.

    Результаты исследований: Прочие публикации в периодических изданиях › письмо/краткое сообщение › иная

  9. Проблема обоснования в формальном представлении знаний

    Ковалев, С. П. & Родин, А. В., 2018, в: ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА. 46, стр. 22-29 7 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  10. Теория типов Мартина-Лёфа как мультиагентная формальная эпистемическая система

    Родин, А. В., 2018, (Принято в печать) в: ЭПИСТЕМОЛОГИЯ И ФИЛОСОФИЯ НАУКИ. 55, 4, стр. 44-47

    Результаты исследований: Научные публикации в периодических изданиях › комментарий, выступление › Рецензирование

  11. 2017

  12. Categorical Model Theory and the Semantic View of Theories.

    Родин, А. В., 2017.

    Результаты исследований: Материалы конференций › тезисы › Рецензирование

  13. Computing in Space and Time

    Родин, А. В., 2017, Berechenbarkeit der Welt? Philosophie und Wissenschaft im Zeitalter von Big Data. Pietsch, W. (ред.). Springer Nature, стр. 193-207

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

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

ID: 206488