Theory and Applications of Satisfiability Testing -- SAT 2015
18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Specificaties
| ISBN/EAN | 9783319243191 |
| Auteur | Marijn Heule, Heule |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Paperback / gebrocheerd |
| Pagina's | 458 |
| Lengte | |
| Breedte |