Der Artikel ist weiterhin als ^^OTHERCONDITION^^ verfügbar.

Theory and Applications of Satisfiability Testing - SAT 2017

20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
 Book
Sofort lieferbar | Lieferzeit:3-5 Tage I
ISBN-13:
9783319662626
Einband:
Book
Erscheinungsdatum:
01.09.2017
Seiten:
476
Autor:
Serge Gaspers
Gewicht:
784 g
Format:
236x157x32 mm
Serie:
10491, Lecture Notes in Computer Science
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.

Kunden Rezensionen

Zu diesem Artikel ist noch keine Rezension vorhanden.
Helfen sie anderen Besuchern und verfassen Sie selbst eine Rezension.