Martin Harm

According to our database, Martin Harm authored at least 1 paper in 1991.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1991

Transforming Horn Clauses for Forward Reasoning.

Knut Hinkelmann, Martin Harm, Thomas Labisch

Proceedings of the Processing Declarative Knowledge, 1991