Normal view
MARC view
- Mitchell, David G
Mitchell, David G (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Hoos, Holger H. 322424, Theory and Applications of Satisfiability Testing (vol. # 3542), 2005