
Theory and Applications of Satisfiability Testing - SAT 2009
- Alaotsikko
- 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
- Toimittaja
- Oliver Kullmann
- Painos
- 2009 ed.
- ISBN
- 9783642027765
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 19.6.2009
- Sivumäärä
- 540