Isbn: 9783642027765 - theory and applications of satisfiability testing - s.a.t. 2009: 12th international conference, s.a.t. 2009, swansea, u.k., june 30 - july 3, 2009. . ... notes in computer science, 5584, band 5584) (1 Ergebnisse)

Taschenbuch. Zustand: Neu. Theory and Applications of Satisfiability Testing - SAT 2009 | 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings | Oliver Kullmann | Taschenbuch | xii | Englisch | 2009 | Springer | EAN 9783642027765 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…