2009
On the Photo:
- Coquand, Thierry (left)
- Yengui, Ihsen (middle)
- Quadrat, Alban (right)
Occasion:Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra
Location: Oberwolfach
Author: Schmid, Renate (photos provided by Schmid, Renate)
Source: MFO
Year: 2009
Copyright: MFO
Photo ID: 12223
Find related pictures