Theory and Applications of Satisfiability Testing - SAT 2014

שנה

2014

שפה

English

הוצאה

Springer London, Limited

מהדורות

2

ISBN

9783319092843

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