Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view
  • Nieuwenhuis, Robert

Nieuwenhuis, Robert (Имя лица)

Number of records used in: 1
Preferred form: Nieuwenhuis, Robert

Machine generated authority record.

Work cat.: (RU-ToGU): Nieuwenhuis, Robert., Automated Deduction - CADE-20, 2005