

Theory and Applications of Satisfiability Testing - SAT 2010
- Undertitel
- 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
- Redaktör
- Stefan Szeider, Ofer Strichman
- ISBN
- 9783642141867
- Språk
- Engelska
- Utgivningsdatum
- 2010-07-09
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
