Отображение 1 - 2 результаты of 2 для поиска 'Wiedijk, Freek', время запроса: 0.01сек. Отмена результатов
  1. 1
    The Seventeen Provers of the World Foreword by Dana S. Scott
    по Wiedijk, Freek
    Опубликовано в: Springer e-books (2006)
    Полный текст
    Электронная книга
  2. 2
    Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Другие авторы: “...Wiedijk, Freek...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток