Bernd D. Heumesser

Publication Activity (10 Years)

Years Active: 2001-2004
Publications (10 Years): 0

Publications

Bernd D. Heumesser, Andreas Ludwig, Dietmar Seipel
Web Services Based on Prolog and Xml. INAP/WLP (2004)
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)
Dietmar Seipel, Marbod Hopfner, Bernd D. Heumesser
Analyzing and Visualising Prolog programs based on XML representations. WLPE (2003)
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)
Bernd D. Heumesser, Ralf-Dieter Schimkat
Deduction on XML Documents: A Case Study. INAP (2001)