Allen Van Gelder
Theory and applications of satisfiability teasting - SAT 2013
Allen Van Gelder · 2013
פרטי הספר
- שנה
- 2013
- שפה
- English
- סדרה
- Lecture notes in computer science -- 7962
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 436
- ISBN
- 9783642390708
מקור הנתונים: Wikidata