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
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 9710Publisher: Cham : Springer, 2016Description: Online-Ressource (XXIV, 564 p. 119 illus, online resource)ISBN:- 9783319409702
- QA75.5-76.95
No physical items for this record