dblp.uni-trier.dewww.uni-trier.de

Ruud Stegers

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Peter Fekkes [1]
2Frank van Harmelen [2]
3Heiner Stuckenschmidt [1]
4Annette ten Teije [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)