Отображение 1 - 1 результаты of 1 для поиска 'Filliatre, Jean-Christophe', время запроса: 0.01сек. Отмена результатов
  1. 1
    Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
    по Filliatre, Jean-Christophe
    Опубликовано в: Springer e-books (2006)
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток