Theorem Proving Using Graph Operations in the Conceptual Graph Formalism

@inproceedings{Salvat1998TheoremPU,
  title={Theorem Proving Using Graph Operations in the Conceptual Graph Formalism},
  author={Eric Salvat},
  booktitle={ECAI},
  year={1998}
}

From This Paper

Topics from this paper.
16 Citations
0 References
Similar Papers

Similar Papers

Loading similar papers…