Algebra and Logic

Proceedings Paper
Kahle,R
Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014.

CEUR Workshop Proceedings
2014
1186