Showing 1 - 1 results of 1 for search 'Marques-Silva, Joao', query time: 0.01s Refine Results
  1. 1
    Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
    by Marques-Silva, Joao
    Published in Springer e-books (2007)
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed