Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view
  • Zhao, Xishun

Zhao, Xishun (Имя лица)

Number of records used in: 1
Preferred form: Zhao, Xishun

Machine generated authority record.

Work cat.: (RU-ToGU): Kleine Büning, Hans. 331673, Theory and Applications of Satisfiability Testing - SAT 2008, 2008.