Showing 1 - 1 results of 1 for search 'Kleine Büning, Hans', query time: 0.01s Refine Results
  1. 1
    Theory and Applications of Satisfiability Testing - SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings /
    by Kleine Büning, Hans
    Published in Springer eBooks (2008)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed