Roberto Sebastiani

Theory And Applications Of Satisfiability Testing Sat 2012 15th International Conference Trento Italy June 1720 2012 Proceedings
Roberto Sebastiani · 2012
פרטי הספר
- שנה
- 2012
- הוצאה
- Springer
- מהדורות
- 1
- ISBN
- 9783642316111
מקור הנתונים: Wikidata