Standard

Компьютерные доказательства и их понимание человеком: случай унивалентных оснований. / Родин, Андрей Вячеславович.

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

Research output: Contribution to journal › Article › peer-review

Harvard

Родин, АВ 2021, 'Компьютерные доказательства и их понимание человеком: случай унивалентных оснований', Интеллектуальные системы. Теория и приложения, vol. 25, no. 4, pp. 337-342.

APA

Родин, А. В. (2021). Компьютерные доказательства и их понимание человеком: случай унивалентных оснований. Интеллектуальные системы. Теория и приложения, 25(4), 337-342.

Vancouver

Родин АВ. Компьютерные доказательства и их понимание человеком: случай унивалентных оснований. Интеллектуальные системы. Теория и приложения. 2021;25(4):337-342.

Author

Родин, Андрей Вячеславович. / Компьютерные доказательства и их понимание человеком: случай унивалентных оснований. In: Интеллектуальные системы. Теория и приложения. 2021 ; Vol. 25, No. 4. pp. 337-342.

BibTeX

@article{023b1ce18a19495fa9e8f9fbd4c1006e,
title = "Компьютерные доказательства и их понимание человеком: случай унивалентных оснований",
author = "Родин, {Андрей Вячеславович}",
year = "2021",
language = "русский",
volume = "25",
pages = "337--342",
journal = "Интеллектуальные системы. Теория и приложения",
issn = "2411-4448",
publisher = "Издательство Московского университета",
number = "4",

}

RIS

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