J. E. Heaton

List of publications from the DBLP Bibliography Server - FAQ

1993

1 J. E. Heaton, Pavel Kocura: Presenting a Pierce Logic Based Inference Engine and Theorem Prover for Conceptual Graphs. ICCS 1993: 381-400

1993
1		J. E. Heaton, Pavel Kocura: Presenting a Pierce Logic Based Inference Engine and Theorem Prover for Conceptual Graphs. ICCS 1993: 381-400

Coauthor Index