Theory and Applications of Satisfiability Testing – SAT 2016

19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings


Lecture Notes in Computer Science
Engels
Theory and Applications of Satisfiability Testing – SAT 2016, Nadia Creignou ; Daniel Le Berre - Paperback - 9783319409696
Samenvatting
Lees Samenvatting Minder Samenvatting
Specificaties
Alle specificaties Minder specificaties
Recensies
-
Nog geen recensies. Wees de eerste!

Hostname: pro-mbooks3