J. E. Heaton

According to our database, J. E. Heaton authored at least 1 paper in 1993.

Collaborative distances:

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

1993

Presenting a Pierce Logic Based Inference Engine and Theorem Prover for Conceptual Graphs.

J. E. Heaton, Pavel Kocura

Proceedings of the Conceptual Graphs for Knowledge Representation, 1993