Theory and Applications of Satisfiability Testing – SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings / edited by Nadia Creignou, Daniel Le Berre
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 9710Verlag: Cham : Springer, 2016Beschreibung: Online-Ressource (XXIV, 564 p. 119 illus, online resource)ISBN:- 9783319409702
- QA75.5-76.95
Dieser Titel hat keine Exemplare