Отображение 1 - 1 результаты of 1 для поиска 'Altenkirch, Thorsten', время запроса: 0.01сек. Отмена результатов
  1. 1
    Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
    по Altenkirch, Thorsten
    Опубликовано в: Springer e-books (2007)
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток