ML Anthology

Cooperation of Heterogeneous Provers

Jörg Denzinger, Dirk Fuchs
IJCAI 1999 pp. 10-15
/ijcai/1999/denzinger1999ijcai-cooperation/
PDF IJCAI Semantic Scholar

Cite

Text

Denzinger and Fuchs. "Cooperation of Heterogeneous Provers." International Joint Conference on Artificial Intelligence, 1999.

Markdown

[Denzinger and Fuchs. "Cooperation of Heterogeneous Provers." International Joint Conference on Artificial Intelligence, 1999.](https://mlanthology.org/ijcai/1999/denzinger1999ijcai-cooperation/)

BibTeX

@inproceedings{denzinger1999ijcai-cooperation,
  title     = {{Cooperation of Heterogeneous Provers}},
  author    = {Denzinger, Jörg and Fuchs, Dirk},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1999},
  pages     = {10-15},
  url       = {https://mlanthology.org/ijcai/1999/denzinger1999ijcai-cooperation/}
}