Отображение 1 - 1 результаты of 1 для поиска 'Kleine Büning, Hans', время запроса: 0.01сек. Отмена результатов
  1. 1
    Theory and Applications of Satisfiability Testing - SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings /
    по Kleine Büning, Hans
    Опубликовано в: Springer eBooks (2008)
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток