Вы здесь

Главная

Coquand Th.

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Types for Proofs and Programs: Selected Papers/ International Workshop,TYPES 99. Lokeberg,Sweden,June 1999 2000 Lecture Notes in Computer Science
  1. Coquand Th.
  2. Dybjer P.
  3. Nordstrom B.
  4. Smith J.
 03.02.2001