 | 2004 |
|---|
| 5 |       | Bernd D. Heumesser,
Andreas Ludwig,
Dietmar Seipel:
Web Services Based on Prolog and Xml.
INAP/WLP 2004: 245-257 |
| 2003 |
|---|
| 4 | | Bernd D. Heumesser,
Dietmar Seipel,
Ulrich Güntzer:
An Expert System for the Flexible Processing of XML-Based Mathematical Knowledge in a PROLOG-Environment.
MKM 2003: 133-146 |
| 3 |  | Dietmar Seipel,
Marbod Hopfner,
Bernd D. Heumesser:
Analyzing and Visualising Prolog programs based on XML representations.
WLPE 2003: 31-45 |
| 2002 |
|---|
| 2 | | Bernd D. Heumesser,
Dietmar Seipel,
Ralf-Dieter Schimkat,
Ulrich Güntzer:
An Information System for Retrieving and Reasoning about Xml-based Mathematical Knowledge.
Electronic Information and Communication in Mathematics 2002: 59-71 |
| 2001 |
|---|
| 1 | | Bernd D. Heumesser,
Ralf-Dieter Schimkat:
Deduction on XML Documents: A Case Study.
INAP 2001: 20-29 |
