Normal view
MARC view
- Kleine Büning, Hans
Kleine Büning, Hans (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Kleine Büning, Hans., Theory and Applications of Satisfiability Testing - SAT 2008, 2008.