Bernd D. Heumesser
According to our database1,
Bernd D. Heumesser
authored at least 5 papers
between 2001 and 2004.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2004
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004
2003
An Expert System for the Flexible Processing of XML-Based Mathematical Knowledge in a PROLOG-Environment.
Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003
Analyzing and Visualising Prolog programs based on XML representations.
Proceedings of the 13th International Workshop on Logic Programming Environments, 2003
2002
An Information System for Retrieving and Reasoning about Xml-based Mathematical Knowledge.
Proceedings of the Electronic Information and Communication in Mathematics, 2002
2001
Deduction on XML Documents: A Case Study.
Proceedings of the 14th International Conference on Applications of Prolog, 2001