Компьютерные доказательства и их понимание человеком: случай унивалентных оснований

в: Интеллектуальные системы. Теория и приложения, Том 25, № 4, 2021, стр. 337-342.

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

@article{023b1ce18a19495fa9e8f9fbd4c1006e,

title = "Компьютерные доказательства и их понимание человеком: случай унивалентных оснований",

author = "Родин, {Андрей Вячеславович}",

year = "2021",

language = "русский",

volume = "25",

pages = "337--342",

journal = "Интеллектуальные системы. Теория и приложения",

issn = "2411-4448",

publisher = "Издательство Московского университета",

number = "4",

}

TY - JOUR

T1 - Компьютерные доказательства и их понимание человеком: случай унивалентных оснований

AU - Родин, Андрей Вячеславович

PY - 2021

Y1 - 2021

M3 - статья

VL - 25

SP - 337

EP - 342

JO - Интеллектуальные системы. Теория и приложения

JF - Интеллектуальные системы. Теория и приложения

SN - 2411-4448

IS - 4

ER -

ID: 92472473