Theory and Applications of Satisfiability Testing – SAT 2017 - bib.howest.be

Theory and Applications of Satisfiability Testing – SAT 2017

Type:: e-book
Titel:: Theory and Applications of Satisfiability Testing – SAT 2017
Auteur:: Gaspers; Walsh, Toby
Taal:: Engels
Uitgever:: Springer International Publishing 2017
ISBN:: 3-319-66262-7
3-319-66263-5
Permalink:: http://bibtest.howest.be/catalog/ebk03:3710000001631273