Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view
  • Gomes, Carla P

Gomes, Carla P (Имя лица)

Number of records used in: 1
Preferred form: Gomes, Carla P

Machine generated authority record.

Work cat.: (RU-ToGU): Biere, Armin. 322485, Theory and Applications of Satisfiability Testing - SAT 2006, 2006