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

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

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

Цитировать