Luca Pulina

Theory and Applications of Satisfiability Testing – SAT 2020
Luca Pulina, Martina Seidl · 2020
פרטי הספר
- שנה
- 2020
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 549
- ISBN
- 9783030518240
מקור הנתונים: Wikidata

Luca Pulina, Martina Seidl · 2020
מקור הנתונים: Wikidata