Theory and Applications of Satisfiability Testing -- SAT 2015

שנה

2015

שפה

English

הוצאה

Springer London, Limited

מהדורות

2

ISBN

9783319243184

מקור הנתונים: Wikidata