![]() |
| 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] |