Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view
  • Strichman, Ofer

Strichman, Ofer (Имя лица)

Number of records used in: 1
Preferred form: Strichman, Ofer

Machine generated authority record.

Work cat.: (RU-ToGU): Kroening, Daniel. 329404, Decision Procedures, 2008.