Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view
  • Hoos, Holger H

Hoos, Holger H (Имя лица)

Number of records used in: 1
Preferred form: Hoos, Holger H

Machine generated authority record.

Work cat.: (RU-ToGU): Hoos, Holger H., Theory and Applications of Satisfiability Testing (vol. # 3542), 2005