Publisher
Springer International Publishing
Reference11 articles.
1. Andersen, E., Gulwani, S., Popovic, Z.: A trace-based framework for analyzing and synthesizing educational progressions. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI 2013). ACM, New York, pp. 773–782 (2013)
2. Antoni, L., Kini, D., Alur, R., Gulwani, S., Viswanathan, M., Hartmann, O.: How can automatic feedback help students construct automata? ACM Trans. Comput.-Hum. Interact. 22(2) (2015). Article no. 9
3. Lecture Notes in Computer Science;Z Azmeh,2011
4. Carpineto, C., Romano, G.: Concept Data Analysis: Theory and Applications. Wiley, Chichester (2004)
5. Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (2005)