MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Specifying Strategies for Exercises." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Specifying strategies for exercises  
  • by Bastiaan Heeren, Johan Jeuring, Arthur Van Leeuwen, Alex Gerdes, Bastiaan Heeren, Johan Jeuring, Arthur Van Leeuwen, Alex Gerdes — 2008 — Suzuki & F. Wiedijk, eds, ‘AISC/Calculemus/MKM 2008’, LNAI 5144, SpringerVerlag
  • …Specifying Strategies for Exercises Bastiaan Heeren Johan Jeuring Arthur van Leeuwen Alex Gerdes…
  • Cited by 4 (3 self) – Add To MetaCart
  • Feedback Services for Exercise Assistants  
  • by Alex Gerdes, Bastiaan Heeren, Johan Jeuring, Sylvia Stuurman, Alex Gerdes, Bastiaan Heeren, Johan Jeuring, Sylvia Stuurman — 2008
  • … domainspecific language in Haskell. Our approach to specifying strategies for exercises is generic…
  • Cited by 1 (1 self) – Add To MetaCart
  • Recognizing Strategies  
  • by Bastiaan Heeren, Johan Jeuring, Bastiaan Heeren, Johan Jeuring — 2008
  • … by the strategy. This paper briefly explains a language for specifying strategies for exercises, and it shows how…
  • Cited by 1 (1 self) – Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB