

Theory and Applications of Satisfiability Testing - SAT 2010
- Alaotsikko
- 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
- Toimittaja
- Stefan Szeider, Ofer Strichman
- ISBN
- 9783642141867
- Kieli
- englanti
- Julkaisupäivä
- 9.7.2010
- Kustantaja
- Springer Berlin Heidelberg
- Formaatti
- PDF - Adobe DRM
- Lue e-kirjoja täällä
- Lue e-kirja mobiililaitteella/tabletilla
- Lukulaite
- Tietokone