Proving Theorems in a Multi-Source Environment

Laurence Cholvy. Proving Theorems in a Multi-Source Environment. In IJCAI. pages 66-73, 1993.

@inproceedings{Cholvy93,
  title = {Proving Theorems in a Multi-Source Environment},
  author = {Laurence Cholvy},
  year = {1993},
  tags = {meta-model, source-to-source, Meta-Environment, open-source, meta-objects},
  researchr = {https://researchr.org/publication/Cholvy93},
  cites = {0},
  citedby = {0},
  pages = {66-73},
  booktitle = {IJCAI},
}