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

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

Язык оригинала	русский
Страницы (с-по)	44-47
Число страниц	4
Журнал	ЭПИСТЕМОЛОГИЯ И ФИЛОСОФИЯ НАУКИ
Том	55
Номер выпуска	4
Состояние	Принято в печать - 2018

@article{5747f02640504fbba10a063a97816cd6,

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

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

year = "2018",

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

volume = "55",

pages = "44--47",

journal = "ЭПИСТЕМОЛОГИЯ И ФИЛОСОФИЯ НАУКИ",

issn = "1811-833X",

publisher = "Институт философии РАН",

number = "4",

}

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

TY - JOUR

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

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

PY - 2018

Y1 - 2018

M3 - комментарий, выступление

VL - 55

SP - 44

EP - 47

JO - ЭПИСТЕМОЛОГИЯ И ФИЛОСОФИЯ НАУКИ

JF - ЭПИСТЕМОЛОГИЯ И ФИЛОСОФИЯ НАУКИ

SN - 1811-833X

IS - 4

ER -