Вы здесь

Yi B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Analogical Type Theory 1993 Yi B., Xu J. Lecture Notes in Computer Science 09.10.1993