Christoph M. Wintersteiger

Theory and Applications of Satisfiability Testing - SAT 2018
Christoph M. Wintersteiger · 2018
פרטי הספר
- שנה
- 2018
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 472
- ISBN
- 9783319941431
מקור הנתונים: Wikidata

Christoph M. Wintersteiger · 2018
מקור הנתונים: Wikidata