10. MKM / 18. Calculemus 2011: Bertinoro, Italy

Calculemus 2011

Mathematical Knowledge Management 2011

CICM Systems and Projects