ML Anthology

Diagrammatic Proofs

Norman Y. Foo, Maurice Pagnucco, Abhaya C. Nayak
IJCAI 1999 pp. 378-383
/ijcai/1999/foo1999ijcai-diagrammatic/
PDF IJCAI Semantic Scholar

Cite

Text

Foo et al. "Diagrammatic Proofs." International Joint Conference on Artificial Intelligence, 1999.

Markdown

[Foo et al. "Diagrammatic Proofs." International Joint Conference on Artificial Intelligence, 1999.](https://mlanthology.org/ijcai/1999/foo1999ijcai-diagrammatic/)

BibTeX

@inproceedings{foo1999ijcai-diagrammatic,
  title     = {{Diagrammatic Proofs}},
  author    = {Foo, Norman Y. and Pagnucco, Maurice and Nayak, Abhaya C.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1999},
  pages     = {378-383},
  url       = {https://mlanthology.org/ijcai/1999/foo1999ijcai-diagrammatic/}
}