J. E. Heaton

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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