Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming, IWS 2010, Edinburgh, UK, 9th July 2010.

Published in: IWS (2010)

Keyphrases

international workshop
lecture notes
revised selected papers
computer science
lecture notes in artificial intelligence
domain driven data mining
pacific rim
selected papers
acm sigkdd
hong kong
programming language
international symposium
databases
computer programming
cooperative
programming environment