Отображение 1 - 1 результаты of 1 для поиска 'Schneider, Klaus', время запроса: 0.01сек. Отмена результатов
  1. 1
    Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
    по Schneider, Klaus
    Опубликовано в: Springer e-books (2007)
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток