Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science, 4121, Band 4121)

Allgemein

Marke
Gomes, Carla P.
ISBN
Gomes, Carla P. 3540372067
MPN
Gomes, Carla P. biography

Eigenschaften

Menü