Отображение 1 - 2 результаты of 2 для поиска 'Klein, Gerwin', время запроса: 0.02сек. Отмена результатов
  1. 1
    Concrete Semantics With Isabelle/HOL /
    по Nipkow, Tobias, Klein, Gerwin
    Опубликовано в: Springer eBooks (2014)
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 2
    Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Другие авторы: “...Klein, Gerwin...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток