History


Help on query formulation
first | previous | 1 | next | last

Result 1 to 7 of 7 total

Ask-elle: an adaptable programming tutor for Haskell giving automated feedback. (English)
Int. J. Artif. Intell. Educ. 27, No. 1, 65-100, electronic only (2017).
Classification: U50 U70 P40 P50
1
Generating feedback for learning algebra. (Dutch)
Nieuw Arch. Wiskd. (5) 13, No. 4, 271-275 (2012).
Classification: H20 H30 U70
2
Interleaving strategies. (English)
Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18‒23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 196-211 (2011).
Classification: U50 R20
3
A teaching tool for proving equivalences between logical formulae. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 154-161 (2011).
Classification: E35 D45 R25 R55 U55 A65
4
Adapting mathematical domain reasoners. (English)
Autexier, Serge (ed.) et al., Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5‒10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14127-0/pbk). Lecture Notes in Computer Science 6167. Lecture Notes in Artificial Intelligence, 315-330 (2010).
Classification: U50 U70
5
Recognizing strategies. (English)
Middeldorp, Aart (ed.), Proceedings of the 8th international workshop on reduction strategies in rewriting and programming (WRS 2008), Castle of Hagenberg, Austria, July 14, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 237, 91-106 (2009).
Classification: U50 R40 P20
6
Canonical forms in interactive exercise assistants. (English)
Carette, Jacques (ed.) et al., Intelligent computer mathematics. 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6‒12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence, 325-340 (2009).
Classification: U50 D60
7
first | previous | 1 | next | last

Result 1 to 7 of 7 total

Valid XHTML 1.0 Transitional Valid CSS!