Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view
  • Paulin-Mohring, Christine

Paulin-Mohring, Christine (Имя лица)

Number of records used in: 3
Preferred form: Paulin-Mohring, Christine

Machine generated authority record.

Work cat.: (RU-ToGU): Filliatre, Jean-Christophe. 323417, Types for Proofs and Programs, 2006