Hintermeier, Claus
VIAF ID: 67119809 ( Personal )
Permalink: http://viaf.org/viaf/67119809
Preferred Forms
- 100 1 _ ‡a Hintermeier, Claus
- 100 1 _ ‡a Hintermeier, Claus
Works
Title | Sources |
---|---|
Déduction avec sortes ordonnées et égalités | |
Order-sorted deduction with equalities. |