Hans Kleine Büning
Theory and Applications of Satisfiability Testing - SAT 2008
Hans Kleine Büning, Xishun Zhao · 2008
פרטי הספר
- שנה
- 2008
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 1
- ISBN
- 9783540797197
מקור הנתונים: Wikidata
Hans Kleine Büning, Xishun Zhao · 2008
מקור הנתונים: Wikidata
