Visas 1 - 1 av 1 resultat för sökning 'Sakallah, Karem A.', Sökningstid: 0,02s Förfina resultatet
  1. 1
    Theory and Applications of Satisfiability Testing - SAT 2007 [electronic resource] : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007: Proceedings /

    Theory and Applications of Satisfiability Testing - SAT 2007 [electronic resource] : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007: Proceedings / av SAT 2007 (2007 : Lisbon, Portugal), Marques-Silva, Joao, Sakallah, Karem A., SpringerLink (Online service)

    Publicerad 2007
    Hämta fulltext

Sökverktyg: