Отображение 1 - 1 результаты of 1 для поиска 'Nieuwenhuis, Robert', время запроса: 0.01сек. Отмена результатов
  1. 1
    Automated Deduction - CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
    по Nieuwenhuis, Robert
    Опубликовано в: Springer e-books (2005)
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток