Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003 Santa Margherita Ligure, Italy, May 5-8, 2003 Selected ... Notes in Computer Science, 2919, Band 2919)

Allgemein

Marke
Enrico Giunchiglia
MPN
Enrico Giunchiglia 1
ISBN
Enrico Giunchiglia 3540208518

Eigenschaften

Menü