Normal view
MARC view
- Bacchus, Fahiem
Bacchus, Fahiem (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Bacchus, Fahiem., Theory and Applications of Satisfiability Testing (vol. # 3569), 2005