Отображение 1 - 1 результаты of 1 для поиска 'Hoos, Holger H.', время запроса: 0.01сек. Отмена результатов
  1. 1
    Theory and Applications of Satisfiability Testing (vol. # 3542) 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
    по Hoos, Holger H.
    Опубликовано в: Springer e-books (2005)
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток