2006 | ||
---|---|---|
2 | EE | Ruud Stegers, Annette ten Teije, Frank van Harmelen: From Natural Language to Formal Proof Goal. EKAW 2006: 51-58 |
1 | EE | Ruud Stegers, Peter Fekkes, Heiner Stuckenschmidt: MusiDB: A personalized search engine for music. J. Web Sem. 4(4): 267-275 (2006) |
1 | Peter Fekkes | [1] |
2 | Frank van Harmelen | [2] |
3 | Heiner Stuckenschmidt | [1] |
4 | Annette ten Teije | [2] |