Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ... Notes in Computer Science, Band 8561)

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Bezeichner
ISBN Springer International Publishing 3319092839
MPN Springer International Publishing 77 black & white illustrations, biograph
Abmessungen / Gewicht
Hauptmerkmale
Springer International Publishing
Springer International Publishing ist ein Verlag, der sich auf wissenschaftliche Literatur spezialisiert hat. Er wurde 1946 gegründet und hat seinen Hauptsitz in Heidelberg.