Вы здесь

Cederquist J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Implementation of the Heine-Borel Covering Theorem in Type Theory 1997 Cederquist J. Acta Congressus Hiberni 01.08.1997