Theorem Proving Using Graph Operations in the Conceptual Graph Formalism - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Eric Salvat. Theorem Proving Using Graph Operations in the Conceptual Graph Formalism. In ECAI. pages 356-360, 1998.

@inproceedings{Salvat98,
  title = {Theorem Proving Using Graph Operations in the Conceptual Graph Formalism},
  author = {Eric Salvat},
  year = {1998},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/Salvat98},
  cites = {0},
  citedby = {0},
  pages = {356-360},
  booktitle = {ECAI},
}

runs on WebDSL