Отображение 1 - 1 результаты of 1 для поиска 'Tevens verschenen als proefschrift LFCS Edinburgh', время запроса: 0.01сек. Отмена результатов
  1. 1
    Extensional constructs in intensional type theory
    по Hofmann M.
    Опубликовано 1997
    “...Tevens verschenen als proefschrift LFCS Edinburgh...”
    ‌
Инструменты поиска: RSS-поток – Отправить результаты поиска по Email