Theory and Applications of Satisfiability Testing ¿ SAT 2017
20th International Conference, Melbourne, VIC, Australia, August 28 ¿ September 1, 2017, Proceedings
Paperback
Print on Demand | Lieferzeit: Print on Demand - Lieferbar innerhalb von 3-5 Werktagen I
60,10 €*
Alle Preise inkl. MwSt.|Versandkostenfrei
ISBN-13:
9783319662626
Veröffentl:
2017
Einband:
Paperback
Erscheinungsdatum:
09.08.2017
Seiten:
492
Autor:
Toby Walsh
Gewicht:
739 g
Format:
235x155x27 mm
Serie:
10491, Theoretical Computer Science and General Issues
Sprache:
Englisch
Beschreibung:
This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017.
Includes supplementary material: sn.pub/extras
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
