Отображение 1 - 1 результаты of 1 для поиска 'Nederpelt, Rob', время запроса: 0.01сек. Отмена результатов
  1. 1

    Type theory and formal proof an introduction по Nederpelt, Rob, Geuvers, Herman

    Опубликовано 2014
    ‌

    Type theory and formal proof an introduction

Инструменты поиска: