Smart matching (0)

by Andrea Asperti, Enrico Tassi
Venue:In Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010