Cited By
View all- Ferreira JMendes ACunha ABaquero CSilva PBarbosa LOliveira J(2011)Logic training through algorithmic problem solvingProceedings of the Third international congress conference on Tools for teaching logic10.5555/2021573.2021581(62-69)Online publication date: 1-Jun-2011
- Ferreira JMendes ACunha ABaquero CSilva PBarbosa LOliveira J(2011)Logic Training through Algorithmic Problem SolvingTools for Teaching Logic10.1007/978-3-642-21350-2_8(62-69)Online publication date: 2011
- Ferreira JMendes ABackhouse RBarbosa L(2009)Which Mathematics for the Information Society?Proceedings of the 2nd International Conference on Teaching Formal Methods10.1007/978-3-642-04912-5_4(39-56)Online publication date: 27-Oct-2009