Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings - Couverture souple

 
9783319243191: Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Couverture souple
ISBN 10 : 3319243195 ISBN 13 : 9783319243191
Editeur : Springer, 2015

L'édition de cet ISBN n'est malheureusement plus disponible.

Éditeur
Springer
Date d'édition
2015
Langue
anglais
ISBN 10 
3319243195
ISBN 13 
9783319243191
Reliure
Paperback
Nombre de pages
458
Éditeur
Heule Marijn, Weaver Sean
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783319243177: Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Edition présentée

ISBN 10 :  3319243179 ISBN 13 :  9783319243177
Editeur : Springer, 2015
Couverture souple