Sciweavers

PPDP
2010
Springer

Declarative modeling of finite mathematics

14 years 7 months ago
Declarative modeling of finite mathematics
Paul Tarau
Added 29 Jan 2011
Updated 29 Jan 2011
Type Journal
Year 2010
Where PPDP
Authors Paul Tarau
Comments (0)