Rajaa
Hakutulokset: 9783540208518 kuuluu kategoriaan kirjat
Rajaa
yksi hakutulos.
Theory and Applications of Satisfiability Testing
nidottu,
2004,
englanti,
ISBN 9783540208518
This book is devoted to the 6th International Conference on Theory and - plications of Satis?ability Testing (SAT 2003) held in Santa Margherita Ligure (Genoa,Italy), during …